Comparison of Deep Reinforcement Learning Policies to Formal Methods for Moving Obstacle Avoidance.
Arpit GargHao-Tien Lewis ChiangSatomi SugayaAleksandra FaustLydia TapiaPublished in: IROS (2019)
Keyphrases
- formal methods
- obstacle avoidance
- reinforcement learning
- mobile robot
- optimal policy
- path planning
- trajectory planning
- space exploration
- artificial intelligence
- visually guided
- formal specification
- model checking
- motion planning
- visual navigation
- autonomous vehicles
- knowledge based systems
- software engineering
- route selection
- markov decision processes
- state space
- robot control
- neural network
- multi modal
- query language
- knowledge base
- real time