Assuring safety in air traffic control systems with argumentation and model checking.
Sergio Alejandro GómezAnca GoronAdrian GrozaIoan Alfred LetiaPublished in: Expert Syst. Appl. (2016)
Keyphrases
- model checking
- air traffic
- civil aviation
- control system
- air traffic control
- temporal logic
- formal verification
- model checker
- automated verification
- free flight
- formal specification
- air traffic management
- symbolic model checking
- finite state
- temporal properties
- timed automata
- pspace complete
- epistemic logic
- computation tree logic
- transition systems
- reachability analysis
- reactive systems
- process algebra
- linear temporal logic
- bounded model checking
- concurrent systems
- planning domains
- deterministic finite automaton
- practical reasoning
- np complete
- artificial intelligence