The Complexity of Admissibility in Omega-Regular Games
Résumé
no abstract
Communication Dans Un Congrès
Année : 2014
Mathieu Sassolas : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01161868
Soumis le : mardi 9 juin 2015-11:57:09
Dernière modification le : vendredi 24 mars 2023-14:53:00
Dates et versions
Identifiants
- HAL Id : hal-01161868 , version 1
Citer
Romain Brenguier, Jean-François Raskin, Mathieu Sassolas. The Complexity of Admissibility in Omega-Regular Games. Proceedings of the joint meeting of the 23rd Annual Conference on Computer Science Logic (CSL) and the 29th Annual Symposium on Logic in Computer Science (LICS), 2014, Wien, Austria. pp.23:1--23:10. ⟨hal-01161868⟩
43
Consultations
0
Téléchargements