Flight Control

Refining perception contracts: Case studies in vision-based safe auto-landing