Showing 1 - 3 results of 3 for search 'Aaditya Prakash Chouhan', query time: 0.04s Refine Results
  1. 1
    Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking
    by Aaditya Prakash Chouhan, Gourinath Banda
    Published 2020-08-01
    Get full text
    Article
  2. 2
    Autonomous Intersection Management: A Heuristic Approach
    by Aaditya Prakash Chouhan, Gourinath Banda
    Published 2018-01-01
    Get full text
    Article
  3. 3
    A Cooperative Algorithm for Lane Sorting of Autonomous Vehicles
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search