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 <>
Submitted on : Friday, February 20, 2009 - 1:30:22 AM
Last modification on : Wednesday, December 19, 2018 - 3:02:03 PM
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

171

Files downloads

342