Formal Analysis of Unmanned Aerial Vehicles Using Higher-Order-Logic Theorem Proving.
Sa'ed AbedAdnan RashidOsman HasanPublished in: J. Aerosp. Inf. Syst. (2020)
Keyphrases
- formal analysis
- higher order logic
- theorem proving
- unmanned aerial vehicles
- theorem prover
- first order logic
- path planning
- inference rules
- automated reasoning
- search and rescue
- higher order
- formal methods
- logical framework
- control algorithm
- agent model
- conditional logic
- dynamic environments
- consequence finding
- parallel search
- proof planning
- geometry theorem proving
- knowledge acquisition
- mathematical model
- genetic programming