Pages that link to "Item:Q5039515"
From MaRDI portal
The following pages link to Farkas Certificates and Minimal Witnesses for Probabilistic Reachability Constraints (Q5039515):
Displaying 5 items.
- Inductive synthesis for probabilistic programs reaches new horizons (Q2044199) (← links)
- Farkas certificates and minimal witnesses for probabilistic reachability constraints (Q6327764) (← links)
- A practitioner's guide to MDP model checking algorithms (Q6535370) (← links)
- Certificates for probabilistic pushdown automata via optimistic value iteration (Q6536144) (← links)
- Witnessing subsystems for probabilistic systems with low tree width (Q6649513) (← links)