| 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 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
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)