Almost Optimal Strategies in One Clock Priced Timed Games

DOI10.1007/11944836_32zbMath1177.68142OpenAlexW1582578515MaRDI QIDQ5385998

Nicolas Markey, Patricia Bouyer, Kim Guldstrand Larsen, Jacob Illum Rasmussen

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_32

Mathematics Subject Classification ID

2-person games (91A05) Specification and verification (program logics, model checking, etc.) (68Q60) Games of timing (91A55)

Related Items (6)

Model Checking Real-Time Systems ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Weighted o-minimal hybrid systems ⋮ Infinite Runs in Weighted Timed Automata with Energy Constraints ⋮ Timed Basic Parallel Processes ⋮ Unnamed Item

This page was built for publication: Almost Optimal Strategies in One Clock Priced Timed Games