Safety Analysis of Autonomous Driving Systems Based on Model Learning.

Renjue Li Tianhang Qin Pengfei Yang Cheng-Chao Huang Youcheng Sun Lijun Zhang

Published in: CoRR (2022)

Keyphrases

safety analysis
learning systems
learning algorithm
nuclear power plant
real time
expert systems
learning process
control system
low cost
symbolic model checking
fault model