Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper)

DOI10.4230/LIPICS.CONCUR.2019.2OpenAlexW2979086698MaRDI QIDQ5875363

No author found.

Publication date: 3 February 2023

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2019/10904/pdf/LIPIcs-CONCUR-2019-2.pdf

zbMATH Keywords

timed automatareinforcement learning\(Q\)-learning\(M\)-learningstochastic hybrid gramesymbolic synthesis

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Safe and Optimal Adaptive Cruise Control

This page was built for publication: Synthesis of Safe, Optimal and Compact Strategies for Stochastic Hybrid Games (Invited Paper)