The following publications are possibly variants of this publication:
- Envelopes and waves: safe multivehicle collision avoidance for horizontal non-deterministic turnsYanni Kouskoulas, Thyago J. Machado, Daniel Genin, Aurora C. Schmidt, Ivan Papusha, Joshua Brulé. STTT, 24(3):371-394, 2022. [doi]
- Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft DynamicsYanni Kouskoulas, Daniel Genin, Aurora Schmidt, Jean-Baptiste Jeannin. itp 2017: 336-353 [doi]
- A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance SystemJean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer. TACAS 2015: 21-36 [doi]
- Formal verification of ACAS X, an industrial airborne collision avoidance systemJean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan Gardner, Aurora Schmidt, Erik Zawadzki, André Platzer. emsoft 2015: 127-136 [doi]