Recherche

Le service d’Informatique théorique mène des recherches en théorie des jeux et ses applications à la vérification et la synthèse de systèmes, ainsi qu’en apprentissage d’automates avec ressources.

Publications

• DBLP
• Dépôt institutionnel de l’UMONS

Projets de recherche

• Centre Fédéré en Vérification (CFV), FNRS, depuis 2002-
• On the verification of rationality and under rationality assumptions, with applications to reactive systems, PDR-FNRS, 2022-2025
• Subgame perfection in graph games, PDR-FNRS, 2018-2022
• European Network for Game Theory (GAMENET), Cost CA16228, 2017-2022
• Collective Adaptive System SynThesIs with Non-zero-sum Games (CASSTING), FP7-Cordis, 2013-2016

---

Le service est également rattaché à deux instituts de recherche de l’UMONS :