Tim Quatmann

MaRDI QIDQ1990497zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains (available as arXiv preprint)	N/A	Paper
Compositional reasoning for parametric probabilistic automata	2026-08-05	Paper
A spectrum of approximate probabilistic bisimulations	2026-02-10	Paper
Computing expected visiting times and stationary distributions in Markov chains: fast and accurate Journal of Automated Reasoning	2025-10-22	Paper
Parameter synthesis for Markov models: covering the parameter space Formal Methods in System Design	2024-06-28	Paper
Under-approximating expected total rewards in POMDPs	2024-02-01	Paper
A practitioner's guide to MDP model checking algorithms	2023-12-13	Paper
Markov automata with multiple objectives Formal Methods in System Design	2023-06-29	Paper
Sound value iteration Computer Aided Verification	2023-05-26	Paper
Verification of Indefinite-Horizon POMDPs 1517.68225	2022-12-22	Paper
Simple strategies in multi-objective MDPs Tools and Algorithms for the Construction and Analysis of Systems	2022-10-13	Paper
Markov automata with multiple objectives Lecture Notes in Computer Science	2022-07-01	Paper
Multi-objective optimization of long-run average and total rewards (available as arXiv preprint)	2021-08-04	Paper
Multi-cost bounded tradeoff analysis in MDP Journal of Automated Reasoning	2020-11-02	Paper
Multi-cost bounded reachability in MDP	2019-09-16	Paper
Parameter synthesis for Markov models: faster than ever (available as arXiv preprint)	2018-10-25	Paper

Research outcomes over time

This page was built for person: Tim Quatmann