related documents
- Barrier Certificates for Weighted Automata-based Specifications Conference Proceeding
- Building Robust Control Barrier Functions from Robust Maximal Output Admissible Sets Conference Proceeding
- Data-Driven Permissible Safe Control with Barrier Certificates Conference Proceeding
- Path-Complete Barrier Functions for Safety of Switched Linear Systems Conference Proceeding
- Verification of Approximate Prognosability via Barrier Certificates Conference Proceeding