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
Abstract : no abstract
Document type :
Journal articles
Complete list of metadata
https://hal.archives-ouvertes.fr/hal-01196259
Contributor : Julien Tesson <>
Submitted on : Wednesday, September 9, 2015 - 2:30:59 PM
Last modification on : Thursday, June 4, 2020 - 10:24:05 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

126