par Brenguier, Romain
Référence Proceedings of the 23th International Conference on Computer Aided Verification (CAV'13), Springer, Vol. 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
Informations sur la publication:Proceedings of the 23th International Conference on Computer Aided Verification (CAV'13), Springer, Vol. 8044, page (890-895)
Statut de publication:Publié, 2013-07
series:Lecture Notes in Computer Science
Sujet CREF:Informatique générale
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