Formal verification of lateral and temporal safety buffers for state-based conflict detection
A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)
Coordination Logic for Repulsive Resolution Maneuvers (AIAA 2016-3156)
Formal verification of lateral and temporal safety buffers for state-based conflict detection