A Spatial Logic for Modeling and Verification of Collision-Free Control of Vehicles.
Bingqing XuQin LiPublished in: ICECCS (2016)
Keyphrases
- collision free
- path planning
- autonomous vehicles
- robotic arm
- control system
- real time
- viewpoint
- dynamic environments
- asynchronous circuits
- spatial information
- model checking
- robotic systems
- motion planning
- search algorithm
- control method
- mobile robot
- spatial reasoning
- robot control
- collision avoidance
- control policy
- neuro fuzzy
- spatio temporal