Pages that link to "Item:Q2065176"
From MaRDI portal
The following pages link to Safety of stochastic systems: an analytic and computational approach (Q2065176):
Displaying 5 items.
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings (Q2123214) (← links)
- Safety criteria for aperiodically forced systems (Q4461043) (← links)
- Mathematical Foundations of System Safety Engineering (Q5197440) (← links)
- Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications (Q6122791) (← links)