Hits:
Date of Publication:2022-10-08
Journal:FORMAL ASPECTS OF COMPUTING
Volume:33
Issue:3
Page Number:325-341
ISSN No.:0934-5043
Key Words:"Self-driving cars; Safety verification; Steering angle; Neuron coverage; Slack relationship"
Next One:Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking
