Raphaël Berthon

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 19

Top Topics

Imperfect Information

Markov Decision Process

Top Venues

ACM Trans. Comput. Log.

Publications

Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
Natural Strategic Ability in Stochastic Multi-Agent Systems. CoRR (2024)
Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI (2024)
Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin
Active Learning of Sequential Transducers with Side Information About the Domain. DLT (2021)
Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin
Active Learning of Sequential Transducers with Side Information about the Domain. CoRR (2021)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. 22 (1) (2021)
Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
Alternating Tree Automata with Qualitative Semantics. CoRR (2020)
Raphaël Berthon, Shibashis Guha, Jean-François Raskin
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. LICS (2020)
Raphaël Berthon, Shibashis Guha, Jean-François Raskin
Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. CoRR (2020)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. CoRR (2020)
Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR (2019)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy Logic with Imperfect Information. CoRR (2018)
Raphaël Berthon, Bastien Maubert, Aniello Murano
Decidability results for ATL* with imperfect information and perfect recall. CoRR (2018)
Raphaël Berthon, Bastien Maubert, Aniello Murano
Decidability Results for ATL* with Imperfect Information and Perfect Recall. AAMAS (2017)
Raphaël Berthon, Mickael Randour, Jean-François Raskin
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. CoRR (2017)
Raphaël Berthon, Mickael Randour, Jean-François Raskin
Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. ICALP (2017)
Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
Strategy logic with imperfect information. LICS (2017)
Raphaël Berthon, Bastien Maubert, Aniello Murano
Quantified CTL with imperfect information. CoRR (2016)
Raphaël Berthon, Christophe Ringeissen
Satisfiability Modulo Free Data Structures Combined with Bridging Functions. SMT@IJCAR (2016)