Date of Publication: 2022-10-08
Journal: FORMAL ASPECTS OF COMPUTING
Volume: 33
Issue: 3
Page Number: 325-341
ISSN: 0934-5043
Key Words: "Self-driving cars; Safety verification; Steering angle; Neuron coverage; Slack relationship"