Research

The Theoretical Computer Science Lab conducts research in game theory and its applications to the verification and synthesis of systems, as well as in learning automata with resources.

Publications

• DBLP
• UMONS institutional repository

Research projects

• Centre Fédéré en Vérification (CFV), FNRS, from 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

---

The Lab is also associated with the following UMONS research institutes :