Autor der Publikation

Memoryless Strategies in Stochastic Reachability Games.

, , , und . Taming the Infinities of Concurrency, Volume 14660 von Lecture Notes in Computer Science, Seite 225-242. Springer, (2024)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Effective Definability of the Reachability Relation in Timed Automata., , , und . CoRR, (2019)Coverability in 1-VASS with Disequality Tests., , , , und . CONCUR, Volume 171 von LIPIcs, Seite 38:1-38:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices., , , , und . ISSAC, Seite 129-138. ACM, (2022)Memoryless Strategies in Stochastic Reachability Games., , , und . Taming the Infinities of Concurrency, Volume 14660 von Lecture Notes in Computer Science, Seite 225-242. Springer, (2024)On Learning Polynomial Recursive Programs., , , und . CoRR, (2023)On the Complexity of Value Iteration., , , , und . ICALP, Volume 132 von LIPIcs, Seite 102:1-102:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)How to Play in Infinite MDPs (Invited Talk)., , , , und . ICALP, Volume 168 von LIPIcs, Seite 3:1-3:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Nonnegative Matrix Factorization Requires Irrationality., , , , und . SIAM J. Appl. Algebra Geom., 1 (1): 285-307 (2017)Strategy Complexity of Parity Objectives in Countable MDPs., , , und . CONCUR, Volume 171 von LIPIcs, Seite 39:1-39:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)On the Computation of the Algebraic Closure of Finitely Generated Groups of Matrices., , , und . CoRR, (2021)