Autor der Publikation

Verification of Markov Decision Processes Using Learning Algorithms.

, , , , , , , und . ATVA, Volume 8837 von Lecture Notes in Computer Science, Seite 98-114. Springer, (2014)

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

Graph Planning with Expected Finite Horizon., und . CoRR, (2018)Specification-centered robustness., , , , und . SIES, Seite 176-185. IEEE, (2011)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)Deciding Fast Termination for Probabilistic VASS with Nondeterminism., , , , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 462-478. Springer, (2019)Algorithms for algebraic path properties in concurrent systems of constant treewidth components., , , und . POPL, Seite 733-747. ACM, (2016)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)Average case analysis of the classical algorithm for Markov decision processes with Büchi objectives., , und . Theor. Comput. Sci., (2015)Quantitative Analysis of Assertion Violations in Probabilistic Programs., , , , und . CoRR, (2020)