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

Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)., , , and . Dagstuhl Reports, 8 (3): 74-93 (2018)An Anytime Algorithm for Reachability on Uncountable MDP., , , and . CoRR, (2020)Online Monitoring ω-Regular Properties in Unknown Markov Chains., , , and . CoRR, (2020)Of Cores: A Partial-Exploration Framework for Markov Decision Processes., and . Log. Methods Comput. Sci., (2020)Comparison of algorithms for simple stochastic games., , , and . Inf. Comput., 289 (Part): 104885 (2022)Continuous-time stochastic games with time-bounded reachability., , , , and . Inf. Comput., (2013)On time-average limits in deterministic and stochastic petri nets., , , , and . ICPE, page 421-422. ACM, (2013)Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes., and . LICS, page 609-618. ACM, (2018)Fixed-Delay Events in Generalized Semi-Markov Processes Revisited., , , and . CONCUR, volume 6901 of Lecture Notes in Computer Science, page 140-155. Springer, (2011)Faster Statistical Model Checking for Unbounded Temporal Properties., , , and . TACAS, volume 9636 of Lecture Notes in Computer Science, page 112-129. Springer, (2016)