par Perez, Guillermo A. 
Président du jury Cardinal, Jean
Promoteur Raskin, Jean-François
Publication Non publié, 2016-11-03
Président du jury Cardinal, Jean
Promoteur Raskin, Jean-François
Publication Non publié, 2016-11-03
Thèse de doctorat
| Titre: |
|
| Auteur: | Perez, Guillermo A. |
| Président du jury: | Cardinal, Jean |
| Promoteur: | Raskin, Jean-François |
| Membre du jury: | Geeraerts, Gilles; Chatterjee, Krishnendu; Worrell, J.; Bruyère, Véronique |
| Informations sur la publication: | Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles |
| Date de défense: | 2016-11-03 |
| Sujet CREF: | Informatique mathématique |
| Volumes/pages: | 214 p. |
| Mots-clés: | Regret |
| Partial observation | |
| Quantitative games | |
| Game theory | |
| Verification | |
| Formal methods | |
| Reactive synthesis | |
| Intitulé du diplôme: | Doctorat en Sciences |
| Langue: | Anglais |
| Anneé académique: | 2016-2017 |
