nncontroller

swMATH39887MaRDI QIDQ55587

No author found.

Described by source

• Learning safe neural network controllers with barrier certificates

Related Items (3)

An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation ⋮ Toward neural-network-guided program synthesis and verification ⋮ Learning safe neural network controllers with barrier certificates

This page was built for software: nncontroller