Home

I am Raphaël Berthon, Normalien at ENS Rennes. I am a fourth year student of the computer science department.

École normale supérieure de Rennes,
Campus de Ker Lann,
avenue Robert Schuman,
35170 Bruz

Mail : (λ x · λ y · x.y@ens-rennes.fr) Raphael Berthon

Publications

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

Works

My third year internship report (in English).
The internship was under the supervision of Jean-François Raskin and Mickael Randour in the Université libre de Bruxelles. The subject was strategy synthesis on games with both a worst-case parity condition and a probability parity condition.

My second year internship report (in English).
The internship was under the supervision of Aniello Murano and Bastien Maubert in the University of Naples Federico II. The subject was model-checking of games with imperfect information for multi-agent systems.

My first year internship report (in English).
The internship was under the supervision of Christophe Ringeissen in the LORIA at Nancy. The subject was the satisfiability modulo theories of combinations of data structures plus bridging functions

The projects I worked on during the PROG1 courses at ENS Rennes (in French) :
Pavages de Penrose et Tours de Hanoë
Triangulation de Delaunay
Lancer de Rayons

My TIPE ( Travail d'Initiative Personnelle Encadrée) on lossless data compression. It was for the exams of X/ENS (in French).

About Me

My CV

My PGP fingerprint: 35DB 88F1 D007 E47E 3DF3 834C 2AF1 E767 9C5B 2566