Specifying and Model Checking Distributed Control Algorithms at Meta-level.
Ha Thi Thu DoanKazuhiro OgataPublished in: Comput. J. (2022)
Keyphrases
- model checking
- meta level
- deterministic finite automaton
- reachability analysis
- temporal logic
- temporal properties
- finite state
- formal methods
- distributed control
- model checker
- formal verification
- object level
- learning algorithm
- machine learning
- formal specification
- decision problems
- intelligent agents
- verification method
- symbolic model checking
- bounded model checking
- mobile robot
- automated verification