Uncertainty modeling and runtime verification for autonomous vehicles driving control: A machine learning-based approach.
Dongdong AnJing LiuMin ZhangXiaohong ChenMingsong ChenHaiying SunPublished in: J. Syst. Softw. (2020)
Keyphrases
- autonomous vehicles
- machine learning
- path planning
- structured environments
- route planning
- multiagent systems
- obstacle avoidance
- robot control
- handling uncertainty
- computational intelligence
- model checking
- control system
- computer vision
- urban traffic
- artificial intelligence
- information extraction
- autonomous agents
- control method