Convex Optimization for Parameter Synthesis in MDPs von Cubuktepe, Murat, Jansen, Nils, Junges, Sebastian, Katoen, Joost-Pieter, Topcu, Ufuk

Volltext

Fast Dynamic Fault Tree Analysis by Model Checking Techniques von Volk, Matthias, Junges, Sebastian, Katoen, Joost-Pieter

Volltext

Weakest Precondition Reasoning for Expected Runtimes of Randomized Algorithms von Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph, Olmedo, Federico

Volltext

On the Hardness of Almost–Sure Termination von Kaminski, Benjamin Lucien, Katoen, Joost-Pieter

Volltext

On the hardness of analyzing probabilistic programs von Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph

Volltext

A Compositional Semantics of Boolean-Logic Driven Markov Processes von Khan, Shahid, Katoen, Joost-Pieter, Bouissou, Marc

Volltext

Strategy Synthesis for POMDPs in Robot Planning via Game-Based Abstractions von Winterer, Leonore, Junges, Sebastian, Wimmer, Ralf, Jansen, Nils, Topcu, Ufuk, Katoen, Joost-Pieter, Becker, Bernd

Volltext

Stochastic games with lexicographic objectives von Chatterjee, Krishnendu, Katoen, Joost-Pieter, Mohr, Stefanie, Weininger, Maximilian, Winkler, Tobias

Volltext

Weakest Precondition Reasoning for Expected Run--Times of Probabilistic Programs von Kaminski, Benjamin Lucien, Katoen, Joost-Pieter, Matheja, Christoph, Olmedo, Federico

Volltext

DFT modeling approach for operational risk assessment of railway infrastructure von Weik, Norman, Volk, Matthias, Katoen, Joost-Pieter, Nießen, Nils

Volltext

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

Volltext

Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components von Wijs, Anton, Katoen, Joost-Pieter, Bošnački, Dragan

Volltext

Synthesizing optimal bias in randomized self-stabilization von Volk, Matthias, Bonakdarpour, Borzoo, Katoen, Joost-Pieter, Aflaki, Saba

Volltext

The ins and outs of the probabilistic model checker MRMC von Katoen, Joost-Pieter, Zapreev, Ivan S., Hahn, Ernst Moritz, Hermanns, Holger, Jansen, David N.

Volltext

Model Checking Temporal Properties of Recursive Probabilistic Programs von Winkler, Tobias, Gehnen, Christina, Katoen, Joost-Pieter

Volltext

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

Volltext

The probabilistic termination tool amber von Moosbrugger, Marcel, Bartocci, Ezio, Katoen, Joost-Pieter, Kovács, Laura

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

Counterexample-guided inductive synthesis for probabilistic systems von Češka, Milan, Hensel, Christian, Junges, Sebastian, Katoen, Joost-Pieter

Volltext

IC3 software model checking von Lange, Tim, Neuhäußer, Martin R., Noll, Thomas, Katoen, Joost-Pieter

Volltext