The Complexity of Admissibility in Omega-Regular Games - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

The Complexity of Admissibility in Omega-Regular Games

Romain Brenguier
  • Fonction : Auteur
  • PersonId : 952182
Université libre de Bruxelles
Jean-François Raskin
  • Fonction : Auteur
Université libre de Bruxelles
Mathieu Sassolas
  • Fonction : Auteur correspondant
  • PersonId : 966975

Connectez-vous pour contacter l'auteur
Laboratoire d'Algorithmique Complexité et Logique

Résumé

no abstract

Domaines

Informatique [cs]

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

Fichier non déposé

Dates et versions

hal-01161868 , version 1 (09-06-2015)

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
51 Consultations
0 Téléchargements

Partager

More