Titre :
  • Synthesising succinct strategies in safety games
Auteur : Geeraerts, Gilles ; Goossens, Joël ; Stainer, Amélie
Organisme financeur : Cornell University Library, arXiv.org
Statut de publication : Publié, 2014
Sujet CREF : Informatique générale
Note : CoRR abs/1404.6228
Langue :