Aaditya Prakash Chouhan

According to our database¹, Aaditya Prakash Chouhan authored at least 3 papers between 2018 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking.

[BibT_eX]

[DOI]

Sensors, 2020

A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles.

[BibT_eX]

[DOI]

IEEE Access, 2020

2018

Autonomous Intersection Management: A Heuristic Approach.

[BibT_eX]

[DOI]

IEEE Access, 2018