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)
Recent and submitted works
(drag your mouse above the title to read the abstract)
The Impatient May Use Limited Optimism to Minimize Regret
(with Michaël Cadilhac and Guillermo A. Pérez). 2018. Preprint on arXiv.
Earlier worksSee DBLP for full list of publications.
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