( en | de | ru )

 

Disambiguation of "Quatmann, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
A Practitioner's Guide to MDP Model Checking Algorithms.

, , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 469-488. Springer, (2023)

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.

August Quatmann

Tim Mattern

Regeneration der Grünlandnarbe nach Winterbeweidung mit Rindern. Uni Gießen, (2009)

Tim Hegemann

Graph Harvester (Software Abstract), , , and . Proc. 32nd Int. Symp. Graph Drawing & Network Vis. (GD'24), volume 320 of LIPIcs, page 58:1–58:3. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, (2024)
Graph Harvester (Software Abstract), , , and . Proc. 32nd Int. Symp. Graph Drawing & Network Vis. (GD'24), volume 320 of LIPIcs, page 58:1–58:3. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, (2024)Morphing Graph Drawings in the Presence of Point Obstacles, , , , , , and . Proc. 50th Int. Conf. Current Trends Theory & Practice Comput. Sci. (SOFSEM'24), volume 14519 of Lecture Notes in Computer Science, page . Springer-Verlag, (2024)Relevanz der Codequalität in einem Praktikum mit automatisch getesteten Programmierabgaben, , , and . Proceedings of the Fourth Workshop Äutomatische Bewertung von Programmieraufgaben" (ABP 2019), page 27-34. Gesellschaft für Informatik e.V., (2019)

Stefan Timm

Roman Timofeev

 

Other publications of authors with the same name

On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report., , , , , , , and . ISoLA (4), volume 12479 of Lecture Notes in Computer Science, page 216-241. Springer, (2020)Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains., , , and . TACAS (2), volume 14571 of Lecture Notes in Computer Science, page 237-257. Springer, (2024)Simple Strategies in Multi-Objective MDPs., , , and . TACAS (1), volume 12078 of Lecture Notes in Computer Science, page 346-364. Springer, (2020)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , and . UAI, page 519-529. AUAI Press, (2018)Verification of multi-objective Markov models.. RWTH Aachen University, Germany, (2023)A Spectrum of Approximate Probabilistic Bisimulations., , , , and . CONCUR, volume 311 of LIPIcs, page 37:1-37:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)The Probabilistic Model Checker Storm., , , , and . CoRR, (2020)Verification of Indefinite-Horizon POMDPs., , , and . ATVA, volume 12302 of Lecture Notes in Computer Science, page 288-304. Springer, (2020)A Practitioner's Guide to MDP Model Checking Algorithms., , , and . TACAS (1), volume 13993 of Lecture Notes in Computer Science, page 469-488. Springer, (2023)Under-Approximating Expected Total Rewards in POMDPs., , and . TACAS (2), volume 13244 of Lecture Notes in Computer Science, page 22-40. Springer, (2022)