Pages that link to "Item:Q6535337"
From MaRDI portal
The following pages link to A learner-verifier framework for neural network controllers and certificates of stochastic systems (Q6535337):
Displaying 4 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)
- Brief Announcement (Q5369004) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)