Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.

Colin Shea-Blymyer Houssam Abbas

Published in: CoRR (2021)

Keyphrases

autonomous vehicles
path planning
obstacle avoidance
high tech
lane detection
robot control
visual navigation
autonomous agents
multiagent systems
mobile robot
real time
model checking
map building
artificial intelligence
genetic algorithm
complex environments
multi agent