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.
Type de document :
Communication dans un congrès
Proc. of the 5th Int. Conf. on Formal Modeling and Analysis of Timed Systems (FORMATS'07), Oct 2007, Salzburg, Austria. Springer, 4763, pp.5--24, 2007
Liste complète des métadonnées

Littérature citée [29 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00363036
Contributeur : Franck Cassez <>
Soumis le : vendredi 20 février 2009 - 01:30:22
Dernière modification le : mercredi 16 mai 2018 - 11:48:02
Document(s) archivé(s) le : vendredi 12 octobre 2012 - 12:00:24

Fichier

formats-07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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. Springer, 4763, pp.5--24, 2007. 〈inria-00363036〉

Partager

Métriques

Consultations de la notice

107

Téléchargements de fichiers

136