Conference
Advances in Practical Applications of Agents and Multi-Agent Systems, and Trustworthiness. The PAAMS Collection
Title
Formal verification of autonomous UAV behavior for inspection tasks using the knowledge base system IDP
Publication type
Proceedings paper
Embargo date
9999-12-31
