Exploiting structure in LTL synthesis - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue STTT Année : 2013

Exploiting structure in LTL synthesis

Résumé

no abstract

Dates et versions

hal-01196259 , version 1 (09-09-2015)

Identifiants

Citer

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⟩

Collections

CNRS LACL UPEC
28 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More