Autor der Publikation

Finite-Memory Near-Optimal Learning for Markov Decision Processes with Long-Run Average Reward.

, , , und . UAI, Volume 124 von Proceedings of Machine Learning Research, Seite 1149-1158. AUAI Press, (2020)

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

Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes., , , und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 322-335. Springer, (2018)On time-average limits in deterministic and stochastic petri nets., , , , und . ICPE, Seite 421-422. ACM, (2013)Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes., und . LICS, Seite 609-618. ACM, (2018)Guessing Winning Policies in LTL Synthesis by Semantic Learning., , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 390-414. Springer, (2023)On Refinements of Boolean and Parametric Modal Transition Systems., und . ICTAC, Volume 8049 von Lecture Notes in Computer Science, Seite 213-230. Springer, (2013)Fixed-Delay Events in Generalized Semi-Markov Processes Revisited., , , und . CONCUR, Volume 6901 von Lecture Notes in Computer Science, Seite 140-155. Springer, (2011)Faster Statistical Model Checking for Unbounded Temporal Properties., , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 112-129. Springer, (2016)Measuring performance of continuous-time stochastic processes using timed automata., , , , und . HSCC, Seite 33-42. ACM, (2011)Owl: A Library for ω-Words, Automata, and LTL., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 543-550. Springer, (2018)Strategy Representation by Decision Trees with Linear Classifiers., , , , , und . QEST, Volume 11785 von Lecture Notes in Computer Science, Seite 109-128. Springer, (2019)