The following pages link to ProbReach (Q2988926):
Displaying 5 items.
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
- Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions (Q5881801) (← links)
- Comparing two approaches to include stochasticity in hybrid automata (Q6546460) (← links)
- Verified propagation of imprecise probabilities in non-linear ODEs (Q6570278) (← links)
