A Parallel Simulation Approach to ACAS X Development. - Adam Gjersvik; Robert J. Moss (HPEC, 2019)

Enhanced Parallel Simulation for ACAS X Development. - Adam Gjersvik (HPEC, 2020)