Author of the publication

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

Games on Graphs., , , , , , , , , and 7 other author(s). CoRR, (2023)Efficient Strategy Synthesis for MDPs with Resource Constraints., , , , and . CoRR, (2021)Editorial H-score as a metric of inner authenticity for national scientific journals - Pilot study for the field of pedagogy., , , and . Learn. Publ., 36 (2): 194-204 (April 2023)On Lexicographic Proof Rules for Probabilistic Termination., , , , and . Formal Aspects Comput., 35 (2): 11:1-11:25 (June 2023)Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption., , , , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 640-656. Springer, (2021)Stochastic invariants for probabilistic termination., , and . POPL, page 145-160. ACM, (2017)Zero-reachability in probabilistic multi-counter automata., , , , and . CSL-LICS, page 22:1-22:10. ACM, (2014)Reinforcement Learning of Risk-Constrained Policies in Markov Decision Processes., , , and . AAAI, page 9794-9801. AAAI Press, (2020)Long-Run Average Behaviour of Probabilistic Vector Addition Systems., , , and . LICS, page 44-55. IEEE Computer Society, (2015)An optimized blockchain solution for the IBM z14., , , , , , , , , and 1 other author(s). IBM J. Res. Dev., 62 (2/3): 4:1-4:11 (2018)