( en | de | ru )

 

Disambiguation of "Quatmann, Tim"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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)

Gisela Timm

Irmgard Timm

Ulrich Timm

 

Other publications of authors with the same name

Verification of multi-objective Markov models.. RWTH Aachen University, Germany, (2023)Update Package for Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs., , and . (November 2021)The probabilistic model checker Storm., , , , and . Int. J. Softw. Tools Technol. Transf., 24 (4): 589-610 (2022)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)Artifact for Paper: Under-Approximating Expected Total Rewards in POMDPs., , and . (November 2021)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 (Technical Report)., , , and . CoRR, (2019)Multi-cost Bounded Tradeoff Analysis in MDP., , , and . J. Autom. Reason., 64 (7): 1483-1522 (2020)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)