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

Stack Size Analysis for Interrupt-Driven Programs., , , , , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 109-126. Springer, (2003)Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives., , , und . Formal Methods Syst. Des., 42 (3): 301-327 (2013)Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification., und . SODA, Seite 1318-1336. SIAM, (2011)The Value 1 Problem Under Finite-memory Strategies for Concurrent Mean-payoff Games., und . SODA, Seite 1018-1029. SIAM, (2015)Faster Algorithms for Markov Decision Processes with Low Treewidth., und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 543-558. Springer, (2013)Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , und . POPL, Seite 733-747. ACM, (2016)Reduction of stochastic parity to stochastic mean-payoff games., und . Inf. Process. Lett., 106 (1): 1-7 (2008)Graph Planning with Expected Finite Horizon., und . CoRR, (2018)Sensor Synthesis for POMDPs with Reachability Objectives., , und . ICAPS, Seite 47-55. AAAI Press, (2018)Quantitative stochastic parity games., , und . SODA, Seite 121-130. SIAM, (2004)