Formally verified next-generation airborne collision avoidance games in ACAS X

@ARTICLE{DBLP:journals/tecs/CleavelandMP23,

  author    = {Rachel Cleaveland and
               Stefan Mitsch and
               Andr{\'e} Platzer},
  title     = {Formally Verified Next-Generation Airborne Collision Avoidance Games in {ACAS X}},
  journal   = {{ACM} Trans. Embed. Comput. Syst.},
  volume    = {22},
  number    = {1},
  articleno = {10},
  pages     = {1-30},
  year      = {2023},
  doi       = {10.1145/3544970},
  issn      = {1539-9087},
}```