Login / Signup
Experimental Evaluation and Formal Analysis of High-Level Tasks with Dynamic Obstacle Anticipation on a Full-Sized Autonomous Vehicle.
Benjamin Johnson
Frank Havlak
Hadas Kress-Gazit
Mark E. Campbell
Published in:
J. Field Robotics (2017)
Keyphrases
</>
formal analysis
experimental evaluation
autonomous vehicles
high level
low level
agent model
formal methods
genetic algorithm
path planning
mobile robot
artificial intelligence
low cost
cooperative
knowledge base
learning algorithm
neural network
map building