Efficient On-the-Fly Algorithms for Partially Observable Timed Games

DOI10.1007/978-3-540-75454-1_3zbMath1141.93377OpenAlexW1576315473MaRDI QIDQ3510829

Franck Cassez

Publication date: 3 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75454-1_3

Mathematics Subject Classification ID

Applications of game theory (91A80) Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Related Items

Compositional Control Synthesis for Partially Observable Systems, Lazy Abstraction-Based Controller Synthesis, Computing Weakest Strategies for Safety Games of Imperfect Information

Uses Software

• Kronos
• CMC
• UPPAAL TIGA