I am holding a post-doctoral position with Jean-François Raskin and Véronique Bruyère (UMONS) in the Formal Methods and Verification team of the "Département d'Informatique" at ULB. (CV in french)

Research


Recent and submitted works

(drag your mouse above the title to read the abstract)

The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
(with Thomas Brihaye, Véronique Bruyère, Aline Goeminne and Jean-François Raskin). 2019. In the proceedings of CONCUR 2019.

The Impatient May Use Limited Optimism to Minimize Regret
(with Michaël Cadilhac and Guillermo A. Pérez). 2019. In the proceedings of FoSSaCS 2019.

Beyond Admissibility: Dominance Between Chains of Strategies
(with Nicolas Basset, Ismaël Jecker, Arno Pauly and Jean-François Raskin). In the proceedings of CSL 2018.
(Long version on arXiv.) .

Earlier works

See DBLP for full list of publications.

Teaching

I am one of the teaching assistants for the course "Fonctionnement des Ordinateurs" for first year students at ULB, given by Gilles Geeraerts . All the course material and info can be found on Université Virtuelle .
In 2017 and 2018, I was one of the two teaching assistants for the course "Introduction to Formal Languages and Compiling" for M1 students at ULB, given by Gilles Geeraerts . All the course material and info can be found on Université Virtuelle .

Contact Information

If you find any dead links or typos on the page or if you did not find what you were looking for (like pdf versions of my publications), feel free to contact me.

  • E-mail: mvdbogaa [at] ulb [dot] ac [dot] be
  • Postal Mail: Campus de la Plaine CP212, ULB Boulevard du Triomphe, 1050 Bruxelles, Belgium