Login / Signup
Rules of the Road: Formal Guarantees for Autonomous Vehicles With Behavioral Contract Design.
Karena X. Cai
Tung Phan-Minh
Soon-Jo Chung
Richard M. Murray
Published in:
IEEE Trans. Robotics (2023)
Keyphrases
</>
autonomous vehicles
path planning
lane detection
evolutionary algorithm
traffic light
neural network
decision making
hidden markov models
multiagent systems
obstacle avoidance
structured environments