Research
Véronique Bruyère 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 Theoretical computer science Lab is also associated with the following UMONS research institutes :
Uguette, your virtual assistant