2019-06-18 - Colloque/Article dans les actes avec comité de lecture - Anglais -
14 page(s)
Brihaye Thomas 
,
Bruyère Véronique ,
Goeminne Aline ,
Raskin Jean-François,
van den Bogaard Marie,
"The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games" in International Conference on Concurrency Theory, 140, 13:1-13:16, Amsterdam, Netherlands, 2019
- Codes CREF : Informatique mathématique (DI1160)
- Unités de recherche UMONS : Mathématiques effectives (S820)
- Instituts UMONS : Institut de Recherche sur les Systèmes Complexes (Complexys)
- Centres UMONS : Modélisation mathématique et informatique (CREMMI)
Texte intégral :