Pages that link to "Item:Q2894278"
From MaRDI portal
The following pages link to Minimal Critical Subsystems for Discrete-Time Markov Models (Q2894278):
Displaying 8 items.
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Counterexample-guided inductive synthesis for probabilistic systems (Q1982641) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (Q5039515) (← links)
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (Q5175773) (← links)
- Constraint-based debugging in probabilistic model checking (Q6488104) (← links)
- Counterexample-driven synthesis for probabilistic program sketches (Q6535945) (← links)
- Witnessing subsystems for probabilistic systems with low tree width (Q6649513) (← links)
