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
Document type :
Journal articles
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01196259
Contributor : Julien Tesson <>
Submitted on : Wednesday, September 9, 2015 - 2:30:59 PM
Last modification on : Thursday, January 11, 2018 - 6:19:28 AM

Links full text

istex

Identifiers

Collections

LACL | UPEC-UPEM

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

66

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD