Compositional Algorithms for LTL Synthesis

Abstract : In this paper, we provide two compositional algorithms to solve safety games and apply them to provide compositional algorithms for the LTL synthesis problem. We have implemented those new compositional algorithms, and we demonstrate that they are able to handle full LTL specifications that are orders of magnitude larger than the specifications that can be treated by the current state of the art algorithms.
Type de document :
Communication dans un congrès
8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. Springer, 6252, 2010, LNCS
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00509966
Contributeur : Emmanuel Filiot <>
Soumis le : mardi 17 août 2010 - 13:54:10
Dernière modification le : jeudi 9 juillet 2015 - 14:42:30
Document(s) archivé(s) le : jeudi 18 novembre 2010 - 02:48:12

Fichier

final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00509966, version 1

Collections

Citation

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin. Compositional Algorithms for LTL Synthesis. 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. Springer, 6252, 2010, LNCS. 〈inria-00509966〉

Partager

Métriques

Consultations de la notice

94

Téléchargements de fichiers

110