Exploiting structure in LTL synthesis

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

Identifiers

Collections

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〉

Share

Metrics

Record views

66