Rapha\"el Berthon

Identifiers

No identifiers captured yet.

Papers (5)

1. Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable cs.LO · 2019 · author #1
2. Strategy Logic with Imperfect Information cs.LO · 2018 · author #1
3. Decidability results for ATL* with imperfect information and perfect recall cs.LO · 2018 · author #1
4. Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes cs.LO · 2017 · author #1
5. Quantified CTL with imperfect information cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Aniello Murano 4 shared papers
• Bastien Maubert 4 shared papers
• Jean-Fran\c{c}ois Raskin 2 shared papers
• Sasha Rubin 2 shared papers
• Emmanuel Filiot 1 shared papers
• Laureline Pinault 1 shared papers
• Mickael Randour 1 shared papers
• Moshe Vardi 1 shared papers
• Shibashis Guha 1 shared papers