GitHub repository: xueyizou/ACASX_3D_Testing
Primary language: Java
Description: validation testing the ACAS Xu in 3D simulations and by using evolutionary search approach to automatically generate test cases.