UAV autopilot

Formal Verification for Autopilot – Preliminary state of the art
A preliminary state of the art for the formal verification of the autopilot of an Unmanned Air Vehicle (UAV).
PDF