Pages that link to "Item:Q4649391"
From MaRDI portal
The following pages link to Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems (Q4649391):
Displaying 5 items.
- A formal mathematical framework for modeling probabilistic hybrid systems (Q870808) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- Probabilistic verification of a biodiesel production system using statistical model checking (Q2929958) (← links)
- Statistically Sound Verification and Optimization for Complex Systems (Q3457812) (← links)
- Bounded Verification of Reachability of Probabilistic Hybrid Systems (Q6104812) (← links)