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
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 :
