2021-08-23 - Colloque/Article dans les actes avec comité de lecture - Anglais -
15 page(s)
Main James
,
Randour Mickaël
,
Sproston Jeremy,
"Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives" in International Conference on Concurrency Theory, 2021
- 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 :