Formal Methods in Air Traffic Management: The Case of Unmanned Aircraft Systems (Invited Lecture).
César A. MuñozPublished in: ICTAC (2015)
Keyphrases
- formal methods
- safety critical
- model checking
- knowledge based systems
- reactive systems
- air traffic management
- provably correct
- formal analysis
- formal specification
- process algebra
- artificial intelligence
- building blocks
- development lifecycle
- modeling language
- path planning
- unmanned aerial vehicles
- model checker
- distributed systems
- knowledge base