related documents
- Compositional Construction of Abstractions for Infinite Networks of Switched Systems Conference Proceeding
- Compositional Verification of Initial-State Opacity for Switched Systems Conference Proceeding
- Construction of continuous abstractions for discrete-time time-delay systems Conference Proceeding
- Control Barrier Functions for Unknown Nonlinear Systems using Gaussian Processes Conference Proceeding
- Safety Verification of Unknown Dynamical Systems via Gaussian Process Regression Conference Proceeding
- Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks Conference Proceeding