Towards Verified Safety-critical Autonomous Driving Scenario with ADSML.

Dehui Du Jiena Chen Mingzhuo Zhang Mingjun Ma

Published in: COMPSAC (2021)

Keyphrases

safety critical
autonomous driving
grand challenge
fault tolerant
formal methods
safety analysis
embedded systems
stereo vision
agent architecture
nuclear power plant
regulatory requirements
vision algorithms
urban traffic
support systems
real time
adaptive systems
vision system
test bed
expert systems