Compositional Algorithms for LTL Synthesis - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

Compositional Algorithms for LTL Synthesis


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.
Fichier principal
Vignette du fichier
final.pdf (174.95 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00509966 , version 1 (17-08-2010)


  • HAL Id : inria-00509966 , version 1


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. ⟨inria-00509966⟩
49 View
351 Download


Gmail Facebook Twitter LinkedIn More