A Greedy Approach for the Efficient Repair of Stochastic Models

article published in 2015

Accelerating Parametric Probabilistic Verification

Conditioning in Probabilistic Programming

Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey

Counterexamples for Expected Rewards

DTMC Model Checking by SCC Reduction

Hierarchical Counterexamples for Discrete-Time Markov Chains

High-Level Counterexamples for Probabilistic Automata

High-level Counterexamples for Probabilistic Automata

Minimal Critical Subsystems for Discrete-Time Markov Models

Minimal counterexamples for linear-time probabilistic verification

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

Safety-Constrained Reinforcement Learning for MDPs

scholarly article by Sebastian Junges et al published 2016 in Lecture Notes in Computer Science

Scenario-Based Verification of Uncertain MDPs

scientific article published on 17 April 2020

Symbolic Counterexample Generation for Discrete-Time Markov Chains

article published in 2013

Symbolic counterexample generation for large discrete-time Markov chains

The COMICS Tool – Computing Minimal Counterexamples for DTMCs

Understanding Probabilistic Programs