Safety of Learning-Enabled Systems

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