Multi-Adversarial Safety Analysis for Autonomous Vehicles.

Gilbert Bahati Marsalis Gibson Alexandre M. Bayen

Published in: CoRR (2021)

Keyphrases

autonomous vehicles
safety analysis
control system
nuclear power plant
obstacle avoidance
structured environments
path planning
safety critical
fault model
symbolic model checking
mathematical model
machine learning
robot control
multiagent systems
decision support system
multi agent systems
information systems