nncontroller

swMATH39887MaRDI QIDQ55587FDOQ55587

Author name not available (Why is that?)

Described by source

• Learning safe neural network controllers with barrier certificates

Cited In (3)

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

This page was built for software: nncontroller