Safety Verification and Control for Collision Avoidance at Road Intersections.
Heejin AhnDomitilla Del VecchioPublished in: CoRR (2016)
Keyphrases
- collision avoidance
- traffic signal
- visual navigation
- path planning
- formation control
- mobile robot
- autonomous vehicles
- dynamic environments
- road safety
- robot motion
- traffic control
- traffic light
- control strategy
- control method
- traffic accidents
- control system
- fuzzy neural network
- obstacle avoidance
- traffic flow
- pattern recognition
- neural network
- model checking
- reinforcement learning
- artificial intelligence