Formal Verification of Heuristic Autonomous Intersection...

Sensors 2020 / 08 Vol. 20; Iss. 16

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking

Chouhan, Aaditya Prakash, Banda, Gourinath
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
20
Journal:
Sensors
DOI:
10.3390/s20164506
Date:
August, 2020
File:
PDF, 824 KB
2020
Conversion to is in progress
Conversion to is failed