Communication Dans Un Congrès
Année : 2015
Ocan Sankur : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01248767
Soumis le : lundi 28 décembre 2015-15:48:21
Dernière modification le : mardi 27 août 2024-12:46:25
Dates et versions
Identifiants
- HAL Id : hal-01248767 , version 1
Citer
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur. Compositional Algorithms for Succinct Safety Games. 4th Workshop on Synthesis, Jul 2015, San Francisco, United States. ⟨hal-01248767⟩
Collections
284
Consultations
0
Téléchargements