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

Shielding in Resource-Constrained Goal POMDPs., , and . AAAI, page 14674-14682. AAAI Press, (2023)Efficient Analysis of Polynomial Asymptotic Estimates for VASS MDPs.. CoRR, (March 2025)Deciding Polynomial Termination Complexity for VASS Programs., and . CONCUR, volume 203 of LIPIcs, page 30:1-30:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)Taming Infinity one Chunk at a Time: Concisely Represented Strategies in One-Counter MDPs., , , and . CoRR, (March 2025)Minimality problems for promise versions of finite automata.. NCMA, page 41-55. Österreichische Computer Gesellschaft, (2017)Asymptotic Complexity Estimates for Probabilistic Programs and Their VASS Abstractions., and . CONCUR, volume 279 of LIPIcs, page 12:1-12:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations., , and . Principles of Verification (1), volume 15260 of Lecture Notes in Computer Science, page 85-97. Springer, (2024)