Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games

Göttmann, HendrikCaesar, BirteBeers, LasseLochau, MalteSchürr, AndyFay, AlexanderKoziolek, AnneLamprecht, Anna-LenaThüm, ThomasBurger, Erik2025-02-142025-02-1420252944-7682https://dl.gi.de/handle/20.500.12116/45795We summarize our paper Cost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games which has been published in the Journal on Software and Systems ModelingenStochastic timed priced gamesProacive self-adaptionStrategy synthesisStatistical Model-checkingCost-Sensitive Precomputation of Real-Time-Aware Reconfiguration Strategies based on Stochastic Priced Timed Games10.18420/se2025-332944-7682