Login / Signup
Atul Acharya
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 2
Top Topics
Real World
Route Planning
Structured Environments
Autonomous Vehicles
Top Venues
ITSC
CoRR
</>
Publications
</>
Daniel J. Fremont
,
Edward Kim
,
Yash Vardhan Pant
,
Sanjit A. Seshia
,
Atul Acharya
,
Xantha Bruso
,
Paul Wells
,
Steve Lemke
,
Qiang Lu
,
Shalin Mehta
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.
ITSC
(2020)
Daniel J. Fremont
,
Edward Kim
,
Yash Vardhan Pant
,
Sanjit A. Seshia
,
Atul Acharya
,
Xantha Bruso
,
Paul Wells
,
Steve Lemke
,
Qiang Lu
,
Shalin Mehta
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World.
CoRR
(2020)