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

von Vermaelen, Jan
Veröffentlicht in PAAMS (18. : 2020 : L'Aquila) Advances in practical applications of agents, multi-agent systems, and trustworthiness (2020)