Author of the publication

Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes.

, and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 380-399. Springer, (2017)

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

On determinism in modal transition systems., , , and . Theor. Comput. Sci., 410 (41): 4026-4043 (2009)Efficient Strategy Iteration for Mean Payoff in Markov Decision Processes., and . ATVA, volume 10482 of Lecture Notes in Computer Science, page 380-399. Springer, (2017)Rabinizer 3: Safraless Translation of LTL to Small Deterministic Automata., and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 235-241. Springer, (2014)Continuous-Time Markov Decisions Based on Partial Exploration., , , and . ATVA, volume 11138 of Lecture Notes in Computer Science, page 317-334. Springer, (2018)From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata., , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 426-442. (2017)The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models - (QComp 2019 Competition Report)., , , , , , , , , and . TACAS (3), volume 11429 of Lecture Notes in Computer Science, page 69-92. Springer, (2019)The Satisfiability Problem for Unbounded Fragments of Probabilistic CTL., and . CONCUR, volume 118 of LIPIcs, page 32:1-32:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints., , and . CONCUR, volume 118 of LIPIcs, page 8:1-8:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)LTL Store: Repository of LTL formulae from literature and case studies., , and . CoRR, (2018)Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games., , , , , and . CoRR, (2014)