“…We then synthesise safe and optimal driving strategies for the model by applying advanced techniques that combine statistical model checking with reinforcement learning as provided by Uppaal Stratego. Hence, we show the applicability of Uppaal Stratego in this concrete case study.…”
Enlace del recurso
Enlace del recurso

“…In Innovation to the Core, Strategos CEO Peter Skarzynski and business strategist Rowan Gibson change all that. …”
Enlace del recurso

“…We examine its learning convergence on the games Stratego and DarkHex and show that it is a surprisingly strong baseline, while using a model-based approach: it achieves similar win rates against other Stratego bots like Pipeline Policy Space Response Oracle (P2SRO), while not winning in direct comparison against P2SRO or reaching the much stronger numbers of DeepNash. …”
Enlace del recurso
Enlace del recurso
Enlace del recurso

“…The recent tool dtControl had provided pipelines with tools supporting strategy synthesis for hybrid systems, such as SCOTS and Uppaal Stratego. We present dtControl 2.0, a new version with several fundamentally novel features. …”
Enlace del recurso
Enlace del recurso