nncontroller

MaRDI QIDQ55587swMATHFDO

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
• ReachNN
• An iterative scheme of safe reinforcement learning for nonlinear systems via barrier certificate generation
• PENBMI
• ltl2dstar
• FACTEST
• CLN2INV
• Learning safe neural network controllers with barrier certificates

This page was built for software: nncontroller