2026-08-18T02:45:04Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:10904 2024-03-06T10:47:09Z ddc:004 open_access

Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper) Larsen, Kim G. Timed automata Stochastic hybrid grame Symbolic synthesis Reinforcement learning Q-learning M-learning UPPAAL-Stratego is a recent branch of the verification tool UPPAAL allowing for synthesis of safe and optimal strategies for stochastic timed (hybrid) games. We describe newly developed learning methods, allowing for synthesis of significantly better strategies and with much improved convergence behaviour. Also, we describe novel use of decision trees for learning orders-of-magnitude more compact strategy representation. In both cases, the seek for optimality does not compromise safety. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Kim G. Larsen 2019 Is Part Of LIPIcs, Volume 140, 30th International Conference on Concurrency Theory (CONCUR 2019) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CONCUR.2019.2 urn:nbn:de:0030-drops-109048 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2019.2 eng https://creativecommons.org/licenses/by/3.0/legalcode