Papers: 10.3390/s20164506

https://doi.org/10.3390/s20164506

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking

Cited by: 2
Author(s): Aaditya Prakash Chouhan, Gourinath Banda
Published: about 6 years ago

Software Mentions 1