I am RaphaŽl Berthon, I am a PhD student, under the joint supervision of Jean-FranÁois Raskin at Universitť Libre de Bruxelles (ULB) and Guillermo A. Perez at the University of Antwerp. My PhD is funded by the Verifying Learning Artificial Intelligence Systems project. Some of my research interests are:

  • Guarantees on learning systems,
  • Verification of Artificial Intelligence,
  • Interplay between certainty and probabilities in Games,
  • Logic, Automata.

Publications - DBLP

  • Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes [pdf] [extended version (arxiv) ]
    RaphaŽl Berthon, Mickael Randour, Jean-FranÁois Raskin. ICALP'17, Warsaw, Poland.
  • Strategy Logic with Imperfect Information [pdf]
    RaphaŽl Berthon, Bastien Maubert, Nello Murano, Sasha Rubin and Moshe Vardi. LICS'17, Reykjavik, Iceland.
  • Decidability Results for ATL* with Imperfect Information and Perfect Recall [pdf]
    RaphaŽl Berthon, Bastien Maubert, Nello Murano. AAMAS'17, S„o Paulo, Brazil.
  • Satisfiability Modulo Free Data Structures Combined with Bridging Functions [pdf]
    RaphaŽl Berthon, Christophe Ringeissen. SMT'16, Coimbra, Portugal.


I gave a talk at the following events:


If you find any dead link, have any question or need any document not available on this page, feel free to contact me:
Email : (λ x ∑ λ y ∑ x.y@ulb.ac.be) Raphael Berthon
SnailMail : ULB - Facultť des Sciences - Campus de la Plaine, CP212 - 1050 Bruxelles - Belgium