Rachel Cleaveland, Stefan Mitsch, André Platzer. Formally Verified Next-generation Airborne Collision Avoidance Games in ACAS X. ACM Trans. Embedded Comput. Syst., 22(1), 2023. [doi]
No references recorded for this publication.
No citations of this publication recorded.