The following pages link to Verisig (Q5239233):
Displaying 16 items.
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation (Q832198) (← links)
- Training classifiers for feedback control with safety in mind (Q2021288) (← links)
- Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control (Q2082497) (← links)
- Risk verification of stochastic systems with neural network controllers (Q2093383) (← links)
- Parameter synthesis of polynomial dynamical systems (Q2105425) (← links)
- Reachability analysis of a general class of neural ordinary differential equations (Q2112130) (← links)
- Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming (Q5033991) (← links)
- Learning safe neural network controllers with barrier certificates (Q5918375) (← links)
- Reluplex: a calculus for reasoning about deep neural networks (Q6108442) (← 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)
- Hybrid controller synthesis for nonlinear systems subject to reach-avoid constraints (Q6535637) (← links)
- Verification-guided programmatic controller synthesis (Q6536130) (← links)
- Online control for pressure regulation of oxygen mask based on neural network (Q6636951) (← links)
