Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata

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).

Göttmann, Hendrik; Caesar, Birte; Beers, Lasse; Lochau, Malte; Schürr, Andy; Fay, Alexander (2023): Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata. Software Engineering 2023. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-726-5. pp. 55-56. Wissenschaftliches Hauptprogramm. Paderborn. 20.–24. Februar 2023

Schlagwörter

Stochastic Timed Game Automata , Proactive Self-Adaptation , Strategy Synthesis , Statistical Model-Checking

Sammlungen

P332 - Software Engineering 2023

Komplettanzeige

Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata

Volltext URI

Dokumententyp

Dateien

Zusatzinformation

Datum

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Verlag

Zusammenfassung

Beschreibung

Schlagwörter

Zitierform

DOI

Tags

Sammlungen