共 50 条
- [22] Safety Verification of Reactive Controllers for UAV Flight in Cluttered Environments using Barrier Certificates 2012 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2012, : 484 - 490
- [23] Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates IEEE Control Syst. Lett., (3183-3188):
- [25] Compositional Safety Analysis using Barrier Certificates HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 15 - 23
- [30] Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach LEARNING FOR DYNAMICS AND CONTROL CONFERENCE, VOL 168, 2022, 168