Model Checking of a Training System Using NuSMV for Humanoid Robot Soccer.
Yongho KimMauricio GomezJames GoppertEric T. MatsonPublished in: RiTA (2014)
Keyphrases
- model checking
- robot soccer
- symbolic model checking
- model checker
- temporal logic
- formal verification
- action selection
- finite state
- vision system
- multi robot
- verification method
- bounded model checking
- formal specification
- computation tree logic
- formal methods
- degrees of freedom
- real robot
- epistemic logic
- test set
- binary decision diagrams
- computer vision