TY  - RPRT
TI  - Formally Verified Next-Generation Airborne Collision Avoidance Games in ACAS X
AU  - Rachel Cleaveland
AU  - Stefan Mitsch
AU  - André Platzer
PY  - 2022
DO  - 10.1145/3544970
UR  - https://arxiv.org/abs/2106.02030
ID  - 2106.02030
ER  -