Precomputing Reconfiguration Strategies based on Stochastic Timed Game Automata

Göttmann, HendrikCaesar, BirteBeers, LasseLochau, MalteSchürr, AndyFay, AlexanderEngels, GregorHebig, ReginaTichy, Matthias2023-01-182023-01-182023978-3-88579-726-5https://dl.gi.de/handle/20.500.12116/40078We 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).enStochastic Timed Game AutomataProactive Self-AdaptationStrategy SynthesisStatistical Model-CheckingPrecomputing Reconfiguration Strategies based on Stochastic Timed Game AutomataText/Conference Paper1617-5468