( en | de | ru )

 

Disambiguierung von "Berthon, Raphaël"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Alternating Tree Automata with Qualitative Semantics.

, , , , , , , , , und . ACM Trans. Comput. Log., 22 (1): 7:1-7:24 (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Raphaël Laurent

Raphaël Collet

Raphaël Marvie

Raphaël Rochet

Raphaël Gobat

 

Weitere Publikationen von Autoren mit dem selben Namen

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