Pages that link to "Item:Q3600486"
From MaRDI portal
The following pages link to Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking (Q3600486):
Displaying 7 items.
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Latticed \(k\)-induction with an application to probabilistic programs (Q832288) (← links)
- Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
- Out of control: reducing probabilistic models by control-state elimination (Q2152665) (← links)
- Counterexamples in Probabilistic LTL Model Checking for Markov Chains (Q3184702) (← links)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (Q5039515) (← links)
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (Q5175773) (← links)