Author of the publication

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

, , , and . UAI, volume 124 of Proceedings of Machine Learning Research, page 1149-1158. AUAI Press, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Faster Statistical Model Checking for Unbounded Temporal Properties., , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 112-129. Springer, (2016)Owl: A Library for ω-Words, Automata, and LTL., , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 543-550. Springer, (2018)Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes., , , and . ISoLA (2), volume 11245 of Lecture Notes in Computer Science, page 322-335. Springer, (2018)Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes., and . LICS, page 609-618. ACM, (2018)Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks., and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 475-496. Springer, (2019)Modal Process Rewrite Systems., and . ICTAC, volume 7521 of Lecture Notes in Computer Science, page 120-135. Springer, (2012)Strategy Representation by Decision Trees with Linear Classifiers., , , , , and . QEST, volume 11785 of Lecture Notes in Computer Science, page 109-128. Springer, (2019)On time-average limits in deterministic and stochastic petri nets., , , , and . ICPE, page 421-422. ACM, (2013)Learning Explainable and Better Performing Representations of POMDP Strategies., , , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 299-319. Springer, (2024)Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes., , and . LICS, page 244-256. IEEE Computer Society, (2015)