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

@article{DBLP:journals/tecs/CleavelandMP23,
	author = {['Rachel Cleaveland', 'Stefan Mitsch', 'André 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}
}