Open AccessA Case Study on Formally Validating Motion Rules for Autonomous Cars
Author(s) -
Mário Henrique Cruz Torres,
JeanPierre Giacalone,
Joelle Abou Faysal
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , motion (physics) , artificial intelligence