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,
  • Automata learning,
  • Interplay between certainty and probabilities in Games,
  • Logic, Automata.

Publications - DBLP

  • Strategy Logic with Imperfect Information [pdf]
    RaphaŽl Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi. TOCL Volume 22 Issue 1.
  • Alternating Tree Automata with Qualitative Semantics [pdf]
    RaphaŽl Berthon, NathanaŽl Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre. TOCL Volume 22 Issue 1.
  • Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. [pdf]
    RaphaŽl Berthon, Shibashis Guha, Jean-FranÁois Raskin. LICS'20, SaarbrŁcken, Germany.
  • 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 and seminars:


  • 2019-2020 and 2020-2021 Introduction to language theory and compiling (Master 1):
    Teaching assistant for the exercises sessions and compiler project. Course by Gilles Geeraerts.
  • Miscellaneous

    If you find any dead link, have any question or need any document not available on this page, feel free to contact me:
    Email: raphael.berthon[at]ulb.be
    SnailMail : ULB - Facultť des Sciences - Campus de la Plaine, CP212 - 1050 Bruxelles - Belgium

    My CV