Tim Quatmann
Tim Quatmann
PhD Student at RWTH Aachen University
Bestätigte E-Mail-Adresse bei cs.rwth-aachen.de
Titel
Zitiert von
Zitiert von
Jahr
Parameter synthesis for Markov models: Faster than ever
T Quatmann, C Dehnert, N Jansen, S Junges, JP Katoen
International Symposium on Automated Technology for Verification and …, 2016
712016
Finite-state controllers of POMDPs via parameter synthesis
S Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ...
Corvallis: AUAI Press, 2018
412018
Finite-state controllers of POMDPs via parameter synthesis
S Junges, NH Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ...
Corvallis: AUAI Press, 2018
412018
The 2019 comparison of tools for the analysis of quantitative formal models
EM Hahn, A Hartmanns, C Hensel, M Klauck, J Klein, J Křetínský, ...
International Conference on Tools and Algorithms for the Construction and …, 2019
322019
Sound value iteration
T Quatmann, JP Katoen
International Conference on Computer Aided Verification, 643-661, 2018
262018
The quantitative verification benchmark set
A Hartmanns, M Klauck, D Parker, T Quatmann, E Ruijters
International Conference on Tools and Algorithms for the Construction and …, 2019
222019
Multi-cost Bounded Reachability in MDP
A Hartmanns, S Junges, JP Katoen, T Quatmann
International Conference on Tools and Algorithms for the Construction and …, 2018
182018
Markov automata with multiple objectives
T Quatmann, S Junges, JP Katoen
Formal Methods in System Design, 1-54, 2021
152021
Markov Automata with Multiple Objectives
T Quatmann, S Junges, JP Katoen
International Conference on Computer Aided Verification, 140-159, 2017
15*2017
The Probabilistic Model Checker Storm
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
arXiv preprint arXiv:2002.07080, 2020
132020
Parameter Synthesis for Markov Models
S Junges, E Abraham, C Hensel, N Jansen, JP Katoen, T Quatmann, ...
arXiv preprint arXiv:1903.07993, 2019
132019
Simple Strategies in Multi-Objective MDPs
F Delgrange, JP Katoen, T Quatmann, M Randour
International Conference on Tools and Algorithms for the Construction and …, 2020
82020
Permissive Finite-State Controllers of POMDPs using Parameter Synthesis
S Junges, N Jansen, R Wimmer, T Quatmann, L Winterer, JP Katoen, ...
arXiv preprint arXiv:1710.10294, 2017
62017
Multi-cost Bounded Tradeoff Analysis in MDP
A Hartmanns, S Junges, JP Katoen, T Quatmann
Journal of Automated Reasoning 64 (7), 1483-1522, 2020
52020
Counterexamples for expected rewards
T Quatmann, N Jansen, C Dehnert, R Wimmer, E Ábrahám, JP Katoen, ...
International Symposium on Formal Methods, 435-452, 2015
52015
The probabilistic model checker storm. CoRR abs/2002.07080 (2020)
C Hensel, S Junges, JP Katoen, T Quatmann, M Volk
52002
Verification of indefinite-horizon POMDPs
A Bork, S Junges, JP Katoen, T Quatmann
arXiv preprint arXiv:2007.00102, 2020
32020
On Correctness, Precision, and Performance in Quantitative Verification--QComp 2020 Competition Report
CE Budde, A Hartmanns, M Klauck, J Kretinsky, D Parker, T Quatmann, ...
The 9th International Symposium On Leveraging Applications of Formal Methods …, 2020
22020
Correct-by-construction policies for POMDPs
N Jansen, S Junges, JP Katoen, T Quatmann, B Becker, R Wimmer, ...
Proceedings of the Fifth International Workshop on Symbolic-Numeric methods …, 2019
22019
Multi-objective Optimization of Long-run Average and Total Rewards
T Quatmann, JP Katoen
arXiv preprint arXiv:2010.13566, 2020
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20