Pages that link to "Item:Q2894278"
From MaRDI portal
The following pages link to Minimal Critical Subsystems for Discrete-Time Markov Models (Q2894278):
Displaying 9 items.
- Minimal counterexamples for linear-time probabilistic verification (Q402125) (← links)
- Counterexample-guided inductive synthesis for probabilistic systems (Q1982641) (← links)
- Critical subsystems in time interval models. Application to a baking process (Q2058486) (← 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)