Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
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: over 4 years ago