Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers

von Kouskoulas, Yanni
Veröffentlicht in FMICS (25. : 2020 : Online) Formal methods for industrial critical systems (2020)

Good Fences Make Good Neighbors: Using Formally Verified Safe Trajectories to Design a Predictive Geofence Algorithm

von Kouskoulas, Safe Yanni
Veröffentlicht in NFM (13. : 2021 : Online) NASA Formal Methods (2021)