Concepedia

Tim Quatmann

TQ

4

Publications

96

Citations

4

H-Index

2018

Active since

Affiliations

RWTH Aachen University(Current)

Radboud University Nijmegen

Tim Quatmann is an author at RWTH Aachen University specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringManagementProbabilityData ScienceVerificationMarkov ChainsFormal MethodsQueuing Theory

Publications per year

2018–2024

4

Publications

4

Finite-State Controllers of POMDPs using Parameter Synthesis

Sebastian Junges, Nils Jansen, Ralf Wimmer et al. · RWTH Publications (RWTH Aachen) · 2018 · 45 citations

Artificial Intelligence, Engineering, Intelligent Systems +19

Multi-cost Bounded Tradeoff Analysis in MDP

Arnd Hartmanns, Sebastian Junges, Joost-Pieter Katoen et al. · Journal of Automated Reasoning · 2020 · 19 citations · Full text

The probabilistic model checker Storm

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen et al. · International Journal on Software Tools for Technology Transfer · 2021 · 18 citations · Full text

Parameter synthesis for Markov models: covering the parameter space

Sebastian Junges, Erika Ábrahám, Christian Hensel et al. · Formal Methods in System Design · 2024 · 14 citations · Full text

Engineering, Verification, Markov Decision Processes +22

Rows per page

1–4 of 4