Efficient On-the-Fly Algorithms for Partially Observable Timed Games - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
formats-07.pdf (279.15 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00363036 , version 1 (20-02-2009)

Identifiers

  • HAL Id : inria-00363036 , version 1

Cite

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⟩
84 View
180 Download

Share

Gmail Facebook X LinkedIn More