Tim Quatmann

Available identifiers

zbMath Open quatmann.timMaRDI QIDQ1990497

List of research outcomes

Publication	Date of Publication	Type
Parameter synthesis for Markov models: covering the parameter space	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	2023-06-29	Paper
Sound value iteration	2023-05-26	Paper
Verification of Indefinite-Horizon POMDPs	2022-12-22	Paper
Simple Strategies in Multi-Objective MDPs	2022-10-13	Paper
Markov automata with multiple objectives	2022-07-01	Paper
Multi-objective optimization of long-run average and total rewards	2021-08-04	Paper
Multi-cost bounded tradeoff analysis in MDP	2020-11-02	Paper
Multi-cost bounded reachability in MDP	2019-09-16	Paper
Parameter synthesis for Markov models: faster than ever	2018-10-25	Paper
Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains	N/A	Paper

Research outcomes over time

This page was built for person: Tim Quatmann