Research Topics

  • Game theory and reactive synthesis/verification
  • Active learning of automata with ressources

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