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

The Complexity of Mean-Payoff Pushdown Games., und . J. ACM, 64 (5): 34:1-34:49 (2017)Qualitative concurrent parity games., , und . ACM Trans. Comput. Log., 12 (4): 28:1-28:51 (2011)Quantitative languages., , und . ACM Trans. Comput. Log., 11 (4): 23:1-23:38 (2010)Sensor Synthesis for POMDPs with Reachability Objectives., , und . ICAPS, Seite 47-55. AAAI Press, (2018)Graph Planning with Expected Finite Horizon., und . CoRR, (2018)Pushdown reachability with constant treewidth., und . Inf. Process. Lett., (2017)Automated analysis of real-time scheduling using graph games., , und . HSCC, Seite 163-172. ACM, (2013)Value Iteration for Long-Run Average Reward in Markov Decision Processes., , , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 201-221. Springer, (2017)Two-Player Nonzero-Sum omega-Regular Games.. CONCUR, Volume 3653 von Lecture Notes in Computer Science, Seite 413-427. Springer, (2005)Environment Assumptions for Synthesis., , und . CONCUR, Volume 5201 von Lecture Notes in Computer Science, Seite 147-161. Springer, (2008)