January 01, 2022 conference-paper Aachen paper

Out of Control: Reducing Probabilistic Models by Control-State Elimination

Lecture notes in computer science, pp. 450–472

DOI: 10.1007/978-3-030-94583-1_22 OpenAlex

Authors 3

Tobias Winkler corresponding Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany
Johannes Lehmann Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany
Joost-Pieter Katoen Aachen

RWTH Aachen University

Affiliation as printed

RWTH Aachen University, Aachen, Germany

Cited by 3 stored of 3

3 results

No patents citing this paper on Lens.org (checked 2026-10-06).

References 47

Markov Decision Processes
1994 Wiley series in probability and statistics book Mathematics Probability and Statistical Research

6,073

citations
Principles of Model Checking
2008 article Computer Science Formal Methods in Verification

4,870

citations
A Discipline of Programming
1976 CERN Document Server (European Organization for Nuclear Research) article Computer Science Computability, Logic, AI Algorithms

4,731

citations
PRISM 4.0: Verification of Probabilistic Real-Time Systems
2011 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

2,396

citations
PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
2003 Journal of Artificial Intelligence Research article Computer Science AI-based Problem Solving and Planning Open access

1,752

citations
Abstraction, Refinement and Proof for Probabilistic Systems
2005 Springer eBooks conference-abstract Computer Science Logic, Reasoning, and Knowledge

368

citations
The probabilistic model checker Storm
2021 International Journal on Software Tools for Technology Transfer article Computer Science Formal Methods in Verification Open access

246

citations
Symbolic and Parametric Model Checking of Discrete-Time Markov Chains
2005 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

185

citations
The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
2014 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

172

citations
Reachability Analysis of Probabilistic Systems by Successive Refinements
2001 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

154

citations
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
2000 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

129

citations
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model Checking
2007 Springer eBooks conference-paper Computer Science Formal Methods in Verification Open access

120

citations
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool
2015 Lecture notes in computer science conference-paper Computer Science Bayesian Modeling and Causal Inference

116

citations
JANI: Quantitative Model and Tool Interaction
2017 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

115

citations
A game-based abstraction-refinement framework for Markov decision processes
2010 Formal Methods in System Design article Computer Science Formal Methods in Verification

98

citations
Parameter Synthesis for Markov Models: Faster Than Ever
2016 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification

89

citations
Evaluating the reliability of NAND multiplexing with PRISM
2005 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems article Computer Science Formal Methods in Verification

86

citations
Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems
2003 Formal Methods in System Design article Computer Science Logic, programming, and type systems

85

citations
Simple O(m logn) Time Markov Chain Lumping
2010 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

80

citations
The Quantitative Verification Benchmark Set
2019 Lecture notes in computer science conference-paper Computer Science Formal Methods in Verification Open access

78

citations