2019-09-12 - Colloque/Présentation - communication orale - Anglais -
13 page(s)
Randour Mickaël
,
"Extending finite-memory determinacy by Boolean combination of winning conditions" in 13th International Conference on Reachability Problems (RP'19), Brussels, Belgium, 2019
- Codes CREF : Probabilités (DI1132), Logique mathématique (DI1170), Théorie des algorithmes (DI1164), Informatique mathématique (DI1160), Informatique générale (DI1162), 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)
Texte intégral :