Abolfazl Karimi
According to our database1,
Abolfazl Karimi
authored at least 4 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
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
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020