Aassured Autonomy

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