Formal Verification of Autonomous UAV Behavior for Inspection Tasks Using the Knowledge Base System IDP.
Jan VermaelenHoang Tung DinhTom HolvoetPublished in: PAAMS (2020)
Keyphrases
- formal verification
- knowledge base
- unmanned aerial vehicles
- model checking
- robotic systems
- expert systems
- bounded model checking
- knowledge acquisition
- autonomous robots
- model checker
- internal representations
- path planning
- rule base
- symbolic model checking
- functional verification
- automated verification
- logic programming
- description logics
- search and rescue
- service robots
- robot behavior
- object oriented
- multi agent systems