par Brenguier, Romain Cliquez pour télécharger la liste de publications de l'auteur
Référence Proceedings of the 23th International Conference on Computer Aided Verification (CAV'13), 8044, (page 890-895)
Publication Publié, 2013-07
Publication dans des actes
Titre :
  • PRALINE: A~Tool for Computing Nash Equilibria in Concurrent Games
Auteur : Brenguier, Romain
Statut de publication : Publié, 2013-07
Sujet CREF : Informatique générale
Informations sur la publication :
  • Proceedings of the 23th International Conference on Computer Aided Verification (CAV'13), Springer, 8044, page 890-895, Lecture Notes in Computer Science
Langue :
  • Anglais
Identificateurs : info:doi/10.1007/978-3-642-39799-8_63
http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/RB-cav13.pdf