Counterexamples in Probabilistic Model Checking
Abstract elided by the publisher.
Related papers
- Assume-Guarantee Abstraction Refinement for Probabilistic Systems CAV 2012
- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking SAS 2001
- Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models CAV 2007
- Shortest Counterexamples for Symbolic Model Checking of LTL with Past TACAS 2005
- Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking VMCAI 2009
- Counterexample-Guided Prophecy for Model Checking Modulo the Theory of Arrays TACAS 2021
- Safety-Aware Apprenticeship Learning CAV 2018
- Abstraction refinement guided by a learnt probabilistic model POPL 2016