Autor der Publikation

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

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)Effective Definability of the Reachability Relation in Timed Automata., , , und . CoRR, (2019)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)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)Determination Problems for Orbit Closures and Matrix Groups., , , und . CoRR, (2024)Reachability for Multi-Priced Timed Automata with Positive and Negative Rates., , und . CoRR, (2024)Nonnegative Matrix Factorization Requires Irrationality., , , , und . SIAM J. Appl. Algebra Geom., 1 (1): 285-307 (2017)