Markov automata with multiple objectives von Quatmann, Tim, Junges, Sebastian, Katoen, Joost-Pieter

Volltext

Parameter synthesis for Markov models: covering the parameter space von Junges, Sebastian, Ábrahám, Erika, Hensel, Christian, Jansen, Nils, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias

Volltext

The probabilistic model checker Storm von Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim, Volk, Matthias

Volltext

Multi-cost Bounded Tradeoff Analysis in MDP von Hartmanns, Arnd, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim

Volltext

Markov Automata with Multiple Objectives von Quatmann, Tim, Junges, Sebastian, Katoen, Joost-Pieter

Volltext

Parameter Synthesis for Markov Models: Faster Than Ever von Quatmann, Tim, Dehnert, Christian, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter

Volltext

On Correctness, Precision, and Performance in Quantitative Verification: QComp 2020 Competition Report von Budde, Carlos E., Hartmanns, Arnd, Klauck, Michaela, Křetínský, Jan, Parker, David, Quatmann, Tim, Turrini, Andrea, Zhang, Zhen

Volltext

Verification of Indefinite-Horizon POMDPs von Bork, Alexander, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim

Volltext

Verification of Multi-Objective Markov Models: Replication Package von Quatmann, Tim

Volltext bestellen

What is the Best Algorithm for MDP Model Checking? Replication Package von Quatmann, Tim

Volltext bestellen

Multi-objective Optimization of Long-run Average and Total Rewards von Quatmann, Tim, Katoen, Joost-Pieter

Volltext bestellen

Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains von Mertens, Hannah, Katoen, Joost-Pieter, Quatmann, Tim, Winkler, Tobias

Volltext bestellen

Under-Approximating Expected Total Rewards in POMDPs von Bork, Alexander, Katoen, Joost-Pieter, Quatmann, Tim

Volltext bestellen

A Practitioner's Guide to MDP Model Checking Algorithms von Hartmanns, Arnd, Junges, Sebastian, Quatmann, Tim, Weininger, Maximilian

Volltext bestellen

A Spectrum of Approximate Probabilistic Bisimulations von Spork, Timm, Baier, Christel, Katoen, Joost-Pieter, Piribauer, Jakob, Quatmann, Tim

Volltext bestellen

Counterexamples for Expected Rewards von Quatmann, Tim, Jansen, Nils, Dehnert, Christian, Wimmer, Ralf, Ábrahám, Erika, Katoen, Joost-Pieter, Becker, Bernd

Volltext

Sound Value Iteration von Quatmann, Tim, Katoen, Joost-Pieter

Volltext bestellen

Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact) von Mertens, Hannah, Quatmann, Tim, Katoen, Joost-Pieter, Winkler, Tobias

Volltext bestellen

Verification of indefinite-horizon POMDPs von Bork, Alexander, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim

Volltext bestellen

Multi-objective Optimization of Long-run Average and Total Rewards von Quatmann, Tim, Joost-Pieter Katoen

Volltext