Hannah Mertens

According to our database, Hannah Mertens authored at least 9 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Compositional Reasoning for Probabilistic Automata with Uncertainty.

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

CoRR, March, 2026

Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs.

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

Dataset, January, 2026

Artifact for Paper: Multiple Long-Run and omega-Regular Objectives in MDPs.

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

Dataset, January, 2026

Multiple Long-Run and ømega-Regular Objectives in MDPs.

Julius Ide, Joost-Pieter Katoen, Hannah Mertens, Tim Quatmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate.

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

J. Autom. Reason., September, 2025

Compositional Reasoning for Parametric Probabilistic Automata.

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact).

Hannah Mertens, Tim Quatmann, Joost-Pieter Katoen, Tobias Winkler

Dataset, October, 2024

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains.

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains (Artifact).

Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann, Tobias Winkler

Dataset, December, 2023