About

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.

Talks

I gave a talk at the following events and seminars:

Teaching

  • 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