The following pages link to Case study (Q5146397):
Displaying 5 items.
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Risk verification of stochastic systems with neural network controllers (Q2093383) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Online control for pressure regulation of oxygen mask based on neural network (Q6636951) (← links)