2022-04-06 - Colloque/Présentation - poster - Anglais -
1 page(s)
Vandenhove Pierre 
,
"Characterizing Omega-Regularity Through Finite-Memory Determinacy of Games on Infinite Graphs" in Current Trends in Graph and Stochastic Games, Maastricht, Pays-Bas, 2022
- Codes CREF : Logique mathématique (DI1170), 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 :