nncontroller

swMATH39887MaRDI QIDQ55587FDOQ55587

Author name not available (Why is that?)

Official website: https://link.springer.com/article/10.1007%2Fs00165-021-00544-5

Described by source

• Learning safe neural network controllers with barrier certificates

Cited In (8)

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

This page was built for software: nncontroller