related documents
- Formally Verified Neural Network Control Barrier Certificates for Unknown Systems Conference Proceeding
- Secure-by-Construction Controller Synthesis via Control Barrier Functions Conference Proceeding
- Synthesis of Controllers for Partially-Observable Systems: A Data-Driven Approach Conference Proceeding