Decidability of one-clock weighted timed games with arbitrary weights

DOI10.4230/LIPICS.CONCUR.2022.15MaRDI QIDQ6587121FDOQ6587121

Authors: Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier 

Publication date: 13 August 2024

Recommendations

• Optimal controller synthesis for timed systems
• Optimal reachability in divergent weighted timed games
• On the Value Problem in Weighted Timed Games.
• One-clock priced timed games with negative weights

zbMATH Keywords

timed automataalgorithmic game theoryweighted timed games

Mathematics Subject Classification ID

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

This page was built for publication: Decidability of one-clock weighted timed games with arbitrary weights

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6587121)