Login / Signup
Assessing Safety-Critical Systems from Operational Testing: A Study on Autonomous Vehicles.
Xingyu Zhao
Kizito Salako
Lorenzo Strigini
Valentin Robu
David Flynn
Published in:
CoRR (2020)
Keyphrases
</>
safety critical
autonomous vehicles
safety analysis
embedded systems
agent architecture
formal methods
management system
distributed systems
nuclear power plant
expert systems
knowledge based systems
adaptive systems