Exploiting structure in LTL synthesis
Résumé
no abstract
Article Dans Une Revue
STTT
Année : 2013
Julien Tesson : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01196259
Soumis le : mercredi 9 septembre 2015-14:30:59
Dernière modification le : vendredi 24 mars 2023-14:53:01
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⟩
32
Consultations
0
Téléchargements