Antichains and compositional algorithms for LTL synthesis
Résumé
no abstract
Article Dans Une Revue
Formal Methods in System Design
Année : 2011
Julien Tesson : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01196265
Soumis le : mercredi 9 septembre 2015-14:31:06
Dernière modification le : mardi 19 octobre 2021-12:55:37
Dates et versions
Identifiants
- HAL Id : hal-01196265 , version 1
Citer
Emmanuel Filiot, Naiyong Jin, Jean-François Raskin. Antichains and compositional algorithms for LTL synthesis. Formal Methods in System Design, 2011, 39 (3), pp.261-296. ⟨hal-01196265⟩
10
Consultations
0
Téléchargements