Pages that link to "Item:Q2226745"
From MaRDI portal
The following pages link to Unbounded-time safety verification of stochastic differential dynamics (Q2226745):
Displaying 4 items.
- Automatic verification of stability and safety for delay differential equations (Q1702900) (← links)
- Safety criteria for aperiodically forced systems (Q4461043) (← links)
- Safety verification for regime-switching jump diffusions via barrier certificates (Q6052173) (← links)
- Verified propagation of imprecise probabilities in non-linear ODEs (Q6570278) (← links)