Raphaël Berthon

26 papers A* 4A 2B 1C 1Journal 15Unranked 2

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Verification of Robust Multi-Agent Systems. CoRR Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2025	B	`conf`	A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games. CONCUR Raphaël Berthon, Joost-Pieter Katoen, Zihan Zhou
2025	J	`jnl`	A Direct Reduction from Stochastic Parity Games to Simple Stochastic Games. CoRR Raphaël Berthon, Joost-Pieter Katoen, Zihan Zhou
2025	A	`conf`	Robust Strategies for Stochastic Multi-Agent Systems. AAMAS Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	—	`conf`	Markov Decision Processes with Sure Parity and Multiple Reachability Objectives. RP Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler
2024	J	`jnl`	Markov Decision Processes with Sure Parity and Multiple Reachability Objectives. CoRR Raphaël Berthon, Joost-Pieter Katoen, Tobias Winkler
2024	A*	`conf`	Natural Strategic Ability in Stochastic Multi-Agent Systems. AAAI Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2024	J	`jnl`	Natural Strategic Ability in Stochastic Multi-Agent Systems. CoRR Raphaël Berthon, Joost-Pieter Katoen, Munyque Mittelmann, Aniello Murano
2022	—	`—`	Interplays of sure, almost-sure, and thresholds parity objectives on Markov decision processes Raphaël Berthon
2021	C	`conf`	Active Learning of Sequential Transducers with Side Information About the Domain. DLT Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin
2021	J	`jnl`	Active Learning of Sequential Transducers with Side Information about the Domain. CoRR Raphaël Berthon, Adrien Boiret, Guillermo A. Pérez, Jean-François Raskin
2021	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. ACM Trans. Comput. Log. Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2021	J	`jnl`	Strategy Logic with Imperfect Information. ACM Trans. Comput. Log. Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2020	J	`jnl`	Alternating Tree Automata with Qualitative Semantics. CoRR Raphaël Berthon, Nathanaël Fijalkow, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Sophie Pinchinat, Sasha Rubin, Olivier Serre
2020	A*	`conf`	Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. LICS Raphaël Berthon, Shibashis Guha, Jean-François Raskin
2020	J	`jnl`	Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes. CoRR Raphaël Berthon, Shibashis Guha, Jean-François Raskin
2020	J	`jnl`	Strategy Logic with Imperfect Information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2019	J	`jnl`	Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable. CoRR Raphaël Berthon, Emmanuel Filiot, Shibashis Guha, Bastien Maubert, Aniello Murano, Laureline Pinault, Jean-François Raskin, Sasha Rubin
2018	J	`jnl`	Decidability results for ATL* with imperfect information and perfect recall. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano
2018	J	`jnl`	Strategy Logic with Imperfect Information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2017	A	`conf`	Decidability Results for ATL* with Imperfect Information and Perfect Recall. AAMAS Raphaël Berthon, Bastien Maubert, Aniello Murano
2017	A*	`conf`	Strategy logic with imperfect information. LICS Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi
2017	A*	`conf`	Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. ICALP Raphaël Berthon, Mickael Randour, Jean-François Raskin
2017	J	`jnl`	Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes. CoRR Raphaël Berthon, Mickael Randour, Jean-François Raskin
2016	J	`jnl`	Quantified CTL with imperfect information. CoRR Raphaël Berthon, Bastien Maubert, Aniello Murano
2016	—	`conf`	Satisfiability Modulo Free Data Structures Combined with Bridging Functions. SMT@IJCAR Raphaël Berthon, Christophe Ringeissen