A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System
Abstract elided by the publisher.
Related papers
- Analyzing the Next Generation Airborne Collision Avoidance System TACAS 2014
- Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks CAV 2017
- Verifying Low-Dimensional Input Neural Networks via Input Quantization SAS 2021
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems CAV 2013
- Relational Differential Dynamic Logic TACAS 2020
- Hybrid Controller Synthesis for Nonlinear Systems Subject to Reach-Avoid Constraints CAV 2023
- Generalized Property-Directed Reachability for Hybrid Systems VMCAI 2020
- Formal Verification of a Vehicle-to-Vehicle (V2V) Messaging System CAV 2018