Skip to Main content Skip to Navigation
Journal articles

Exploiting structure in LTL synthesis

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

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

107