Evaluating probabilistic model checking tools for verification of robot control policies.
Shashank PathakLuca PulinaArmando TacchellaPublished in: AI Commun. (2016)
Keyphrases
- model checking
- control policies
- formal methods
- temporal logic
- motion control
- model checker
- formal verification
- verification method
- automated verification
- mobile robot
- finite state
- symbolic model checking
- formal specification
- bounded model checking
- concurrent systems
- control system
- probabilistic model
- epistemic logic
- optimal policy
- humanoid robot
- vision system
- asynchronous circuits
- computation tree logic
- bayesian networks
- robot control
- autonomous robots
- path planning
- cooperative
- reinforcement learning
- action space
- markov decision processes
- graphical models
- linear temporal logic
- state space
- linear time temporal logic