Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.

Colin Shea-Blymyer Houssam Abbas

Published in: ACM Trans. Cyber Phys. Syst. (2021)

Keyphrases

autonomous vehicles
path planning
obstacle avoidance
high tech
multiagent systems
model checking
visual navigation
lane detection
robot control
autonomous agents
mobile robot
deontic logic
neural network
real time
complex environments
remote sensing
control system
cooperative