Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study.

Andr Platzer, Edmund M. Clarke

Browse the full FM paper archive.