Raphaël Berthon

According to our database, Raphaël Berthon authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Markov Decision Processes with Sure Parity and Multiple Reachability Objectives.

Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler

Proceedings of the Reachability Problems - 18th International Conference, 2024

Natural Strategic Ability in Stochastic Multi-Agent Systems.

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2022

Interplays of sure, almost-sure, and thresholds parity objectives on Markov decision processes

Raphaël Berthon

PhD thesis, 2022

2021

Strategy Logic with Imperfect Information.

Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi

ACM Trans. Comput. Log., 2021

Alternating Tree Automata with Qualitative Semantics.

Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre

ACM Trans. Comput. Log., 2021

Active Learning of Sequential Transducers with Side Information About the Domain.

Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin

Proceedings of the Developments in Language Theory - 25th International Conference, 2021

2020

Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes.

Raphaël Berthon, Shibashis Guha, Jean-François Raskin

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable.

Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin

CoRR, 2019

2017

Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes.

Raphaël Berthon, Mickael Randour, Jean-François Raskin

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

Decidability Results for ATL* with Imperfect Information and Perfect Recall.

Raphaël Berthon, Bastien Maubert, Aniello Murano

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016

Quantified CTL with imperfect information.

Raphaël Berthon, Bastien Maubert, Aniello Murano

CoRR, 2016

Satisfiability Modulo Free Data Structures Combined with Bridging Functions.

Raphaël Berthon, Christophe Ringeissen

Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, 2016