Release Time:2024-09-27  Hits:

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"