Formal Methods for the Certification of Autonomous Unmanned Aircraft Systems.
Matthew P. WebsterMichael FisherNeil CameronMike JumpPublished in: SAFECOMP (2011)
Keyphrases
- formal methods
- safety critical
- formal analysis
- knowledge based systems
- unmanned aerial vehicles
- formal specification
- process algebra
- provably correct
- model checking
- cooperative
- autonomous vehicles
- artificial intelligence
- distributed systems
- software engineering
- security properties
- model checker
- expert systems
- reactive systems
- robotic systems
- autonomous systems
- communication protocols
- multi agent systems
- protocol specification