Abolfazl Karimi

According to our database, Abolfazl Karimi authored at least 3 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections.

Abolfazl Karimi, Parasara Sridhar Duggirala

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021

Safety and progress proofs for a reactive planner and controller for autonomous driving.

Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala

CoRR, 2021

2020

Formalizing traffic rules for uncontrolled intersections.

Abolfazl Karimi, Parasara Sridhar Duggirala

Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020