| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [29 references]
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
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)