2020-09-03 - Colloque/Présentation - communication orale - Anglais -
page(s)
Goeminne Aline
,
"On Subgame Perfect Equilibria in Turn-Based Reachability Timed Games" in International Conference on Formal Modeling and Analysis of Timed Systems, Vienna, Austria, 2020
- Codes CREF : Informatique mathématique (DI1160), Théorie de la décision et des jeux (DI1134)
- 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)