GI LogoGI Logo
  • Anmelden
Digitale Bibliothek
    • Gesamter Bestand

      • Bereiche & Sammlungen
      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
    • Diese Sammlung

      • Titel
      • Autor
      • Erscheinungsdatum
      • Schlagwort
Digital Bibliothek der Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • Deutsch 
    • English
    • Deutsch
Dokumentanzeige 
  •   Startseite
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P332 - Software Engineering 2023
  • Dokumentanzeige
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   Startseite
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P332 - Software Engineering 2023
  • Dokumentanzeige

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata

Autor(en):
Göttmann, Hendrik [DBLP] ;
Caesar, Birte [DBLP] ;
Beers, Lasse [DBLP] ;
Lochau, Malte [DBLP] ;
Schürr, Andy [DBLP] ;
Fay, Alexander [DBLP]
Zusammenfassung
We summarize our paper Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata which has been published in the proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022).
  • Vollständige Referenz
  • BibTeX
Göttmann, H., Caesar, B., Beers, L., Lochau, M., Schürr, A. & Fay, A., (2023). Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. In: Engels, G., Hebig, R. & Tichy, M. (Hrsg.), Software Engineering 2023. Bonn: Gesellschaft für Informatik e.V.. (S. 55-56).
@inproceedings{mci/Göttmann2023,
author = {Göttmann, Hendrik AND Caesar, Birte AND Beers, Lasse AND Lochau, Malte AND Schürr, Andy AND Fay, Alexander},
title = {Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata},
booktitle = {Software Engineering 2023},
year = {2023},
editor = {Engels, Gregor AND Hebig, Regina AND Tichy, Matthias} ,
pages = { 55-56 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
paper14.pdf188.1Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-726-5
ISSN: 1617-5468
Datum: 2023
Sprache: en (en)
Typ: Text/Conference Paper

Keywords

  • Stochastic Timed Game Automata
  • Proactive Self-Adaptation
  • Strategy Synthesis
  • Statistical Model-Checking
Sammlungen
  • P332 - Software Engineering 2023 [60]

Zur Langanzeige


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


Über uns | FAQ | Hilfe | Impressum | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.