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