Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP.

Jan Vermaelen, Hoang Tung Dinh, Tom Holvoet

Browse the full PAAMS paper archive.