par Perez Mejia, Guillermo Cliquez pour télécharger la liste de publications de l'auteur
Référence Information processing letters, 118, (page 91-99)
Publication Publié, 2017-02
Article révisé par les pairs
Titre :
  • The fixed initial credit problem for partial-observation energy games is ACK-complete
Auteur : Perez Mejia, Guillermo
Informations sur la publication : Information processing letters, 118, (page 91-99)
Statut de publication : Publié, 2017-02
Sujet CREF : Informatique appliquée logiciel
Informatique générale
Informatique mathématique
Mots-clés : Formal methods
Game theory
Partial observation
Reactive synthesis
Note : SCOPUS: ar.j
Langue :
  • Anglais
Identificateurs : urn:issn:0020-0190 
info:doi/10.1016/j.ipl.2016.10.005
info:pii/S0020019016301466