( en | de | ru )

 

Disambiguation of "Berthon, Raphaël"

Author of the publication

copydeleteadd this publication to your clipboard
Strategy Logic with Imperfect Information.

, , , , and . CoRR, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Raphaël Laurent

Raphaël Collet

Raphaël Marvie

Raphaël Rochet

Raphaël Gobat

 

Other publications of authors with the same name

Interplays of sure, almost-sure, and thresholds parity objectives on Markov decision processes. University of Antwerp, Belgium, (2022)Monadic Second-Order Logic with Path-Measure Quantifier is Undecidable., , , , , , , and . CoRR, (2019)Strategy Logic with Imperfect Information., , , , and . CoRR, (2020)Alternating Tree Automata with Qualitative Semantics., , , , , , , , , and . CoRR, (2020)Strategy Logic with Imperfect Information., , , , and . ACM Trans. Comput. Log., 22 (1): 5:1-5:51 (2021)Alternating Tree Automata with Qualitative Semantics., , , , , , , , , and . ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)Active Learning of Sequential Transducers with Side Information About the Domain., , , and . DLT, volume 12811 of Lecture Notes in Computer Science, page 54-65. Springer, (2021)Natural Strategic Ability in Stochastic Multi-Agent Systems., , , and . AAAI, page 17308-17316. AAAI Press, (2024)Mixing Probabilistic and non-Probabilistic Objectives in Markov Decision Processes., , and . LICS, page 195-208. ACM, (2020)Threshold Constraints with Guarantees for Parity Objectives in Markov Decision Processes., , and . ICALP, volume 80 of LIPIcs, page 121:1-121:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)