Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous Vehicles.

Yousaf Rahman Md Tawhid Bin Waez Yuming Niu

Published in: FM (2021)

Keyphrases

autonomous vehicles
path planning
structured environments
lower bound
worst case
dynamic environments
decision making
knowledge base
reinforcement learning
upper bound
stereo matching
global optimization
obstacle avoidance
traffic light
urban traffic