Towards a Formal Ethics for Autonomous Cars.

Piotr Kulicki Robert Trypuz Michael P. Musielewicz

Published in: DEON (2018)

Keyphrases

cooperative
high tech
autonomous navigation
neural network
formal model
robotic systems
formal methods
ethical issues
artificial intelligence
information systems
case study
three dimensional
multiresolution
formal specification
autonomous systems
mathematical theory