Pages that link to "Item:Q832173"
From MaRDI portal
The following pages link to Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173):
Displaying 6 items.
- Verisig (Q1349743) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Generating probabilistic safety guarantees for neural network controllers (Q6134350) (← links)
- RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems (Q6487328) (← links)
- Verified propagation of imprecise probabilities in non-linear ODEs (Q6570278) (← links)
- A framework for the competitive analysis of model predictive controllers (Q6623022) (← links)