Pages that link to "Item:Q846015"
From MaRDI portal
The following pages link to State explosion in almost-sure probabilistic reachability (Q846015):
Displayed 8 items.
- Expected reachability-time games (Q278757) (← links)
- Verification and control for probabilistic hybrid automata with finite bisimulations (Q1734511) (← links)
- Verification and Control of Probabilistic Rectangular Hybrid Automata (Q2945577) (← links)
- Concavely-Priced Probabilistic Timed Automata (Q3184689) (← links)
- Strict Divergence for Probabilistic Timed Automata (Q3184704) (← links)
- Modal and mixed specifications: key decision problems and their complexities (Q3550702) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- Verifying Probabilistic Timed Automata Against Omega-Regular Dense-Time Properties (Q6104804) (← links)