Formalizing traffic rules for uncontrolled intersections. - Abolfazl Karimi; Parasara Sridhar Duggirala (ICCPS, 2020)

Safety and progress proofs for a reactive planner and controller for autonomous driving. - Abolfazl Karimi; Manish Goyal 002; Parasara Sridhar Duggirala (CoRR, 2021)

Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections. - Abolfazl Karimi; Parasara Sridhar Duggirala (ICCPS, 2022)

Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm. - Abolfazl Karimi; Manish Goyal 002; Parasara Sridhar Duggirala (MEMOCODE, 2024)