HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Abstract : In this paper, we review some recent results on the efficient synthesis of controllers for timed systems. We first recall the basics of controller synthesis for timed games and then present an efficient on-the-fly algorithm for reachability games and its extension to partially observable timed games.
Document type :
Conference papers
Complete list of metadata

Cited literature [29 references]  Display  Hide  Download

https://hal.inria.fr/inria-00363036
Contributor : Franck Cassez Connect in order to contact the contributor
Submitted on : Friday, February 20, 2009 - 1:30:22 AM
Last modification on : Wednesday, April 27, 2022 - 4:43:56 AM
Long-term archiving on: : Friday, October 12, 2012 - 12:00:24 PM

File

formats-07.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00363036, version 1

Citation

Franck Cassez. Efficient On-the-Fly Algorithms for Partially Observable Timed Games. Proc. of the 5th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'07), Oct 2007, Salzburg, Austria. pp.5--24. ⟨inria-00363036⟩

Share

Metrics

Record views

84

Files downloads

171