Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00509966
Contributor : Emmanuel Filiot Connect in order to contact the contributor
Submitted on : Tuesday, August 17, 2010 - 1:54:10 PM
Last modification on : Tuesday, October 19, 2021 - 12:55:33 PM
Long-term archiving on: : Thursday, November 18, 2010 - 2:48:12 AM

File

final.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00509966⟩

Share

Metrics

Record views

49

Files downloads

304