Login / Signup
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles.
Daniel Jackson
Valerie Richmond
Mike Wang
Jeff Chow
Uriel Guajardo
Soonho Kong
Sergio Campos
Geoffrey Litt
Nikos Aréchiga
Published in:
CoRR (2021)
Keyphrases
</>
autonomous vehicles
path planning
robot control
structured environments
obstacle avoidance
route planning
sufficient conditions
multiagent systems
urban traffic
control system
cooperative
mobile robot
vision system
multi modal
complex environments
traffic light