2019-06-22 - Colloque/Présentation - communication orale - Anglais -
24 page(s)
Randour Mickaël 
,
"Extending finite-memory determinacy by Boolean combination of winning conditions" in 2nd International Workshop on Multi-objective Reasoning in Verification and Synthesis -- MoRe 2019, Vancouver, Canada, 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 :