Login / Signup
EPSAAV: An Extensible Platform for Safety Analysis of Autonomous Vehicles.
Joelle Abou Faysal
Nour Zalmai
Ankica Barisic
Frédéric Mallet
Published in:
MEDI Workshops (2021)
Keyphrases
</>
autonomous vehicles
safety analysis
control system
structured environments
nuclear power plant
path planning
safety critical
fault model
symbolic model checking
obstacle avoidance
real time
multiagent systems
robot control
reliability analysis
autonomous agents
formal methods
mobile robot
expert systems