Abolfazl Karimi

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm.
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.
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.
CoRR, 2021

2020
Formalizing traffic rules for uncontrolled intersections.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020


  Loading...