On the Value Problem in Weighted Timed Games.

DOI10.4230/LIPIcs.CONCUR.2015.311zbMath1374.68254OpenAlexW2294086291MaRDI QIDQ5357712

Patricia Bouyer, Nicolas Markey, Samy Jaziri

Publication date: 12 September 2017

Full work available at URL: https://dblp.uni-trier.de/db/conf/concur/concur2015.html#BouyerJM15

zbMATH Keywords

undecidabilityapproximationtimed games

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45)

Related Items (3)

Optimal controller synthesis for timed systems ⋮ Optimal Reachability in Divergent Weighted Timed Games ⋮ Symbolic Approximation of Weighted Timed Games

This page was built for publication: On the Value Problem in Weighted Timed Games.