Pages that link to "Item:Q5282200"
From MaRDI portal
The following pages link to A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates (Q5282200):
Displayed 6 items.
- Maximizing the probability of attaining a target prior to extinction (Q547917) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems (Q2377974) (← links)
- Computing sum of squares decompositions with rational coefficients (Q2378506) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs (Q5200042) (← links)
