Abolfazl Karimi

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Autonomous Driving

Number Of Test Cases

Reactive Planning

Top Venues

Publications

Abolfazl Karimi, Parasara Sridhar Duggirala
Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections. ICCPS (2022)
Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala
Safety and progress proofs for a reactive planner and controller for autonomous driving. CoRR (2021)
Abolfazl Karimi, Parasara Sridhar Duggirala
Formalizing traffic rules for uncontrolled intersections. ICCPS (2020)