Abolfazl Karimi

According to our database, Abolfazl Karimi authored at least 4 papers between 2020 and 2024.

Collaborative distances:

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

2024

Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm.

Abolfazl Karimi, Manish Goyal, Parasara Sridhar Duggirala

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

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