Skip to Main content Skip to Navigation
Journal articles

Exploiting structure in LTL synthesis

Emmanuel Filiot 1 Naiyong Jin 2 Jean-François Raskin 2
1 LACL - Laboratoire d'Algorithmique Complexité et Logique
2 ULB - Université Libre de Bruxelles [Bruxelles]
Abstract : no abstract
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-01196259
Contributor : Julien Tesson <>
Submitted on : Wednesday, September 9, 2015 - 2:30:59 PM
Last modification on : Friday, October 4, 2019 - 1:12:52 AM

Links full text

istex

Identifiers

Collections

CNRS | LACL | UPEC-UPEM | UPEC

Citation

Emmanuel Filiot, Naiyong Jin, Jean-François Raskin. Exploiting structure in LTL synthesis. STTT, 2013, 15 (5-6), pp.541-561. ⟨10.1007/s10009-012-0222-5⟩. ⟨hal-01196259⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

107

Contact

Informations

CCSD