GitHub repository: verivital/AcasXu
Description: Verification and simulation of AcasXu closed-loop system