Formalizing traffic rules for uncontrolled intersections A Karimi, PS Duggirala 2020 ACM/IEEE 11th International Conference on Cyber-Physical Systems (ICCPS …, 2020 | 33 | 2020 |
S-approximation: a new approach to algebraic approximation MR Hooshmandasl, A Shakiba, AK Goharshady, A Karimi Journal of Discrete Mathematics 2014, 2014 | 15 | 2014 |
Axiomatic systems for rough set-valued homomorphisms of associative rings MR Hooshmandasl, A Karimi, M Almbardar, B Davvaz International Journal of Approximate Reasoning 54 (2), 297-306, 2013 | 15 | 2013 |
Automatic generation of test-cases of increasing complexity for autonomous vehicles at intersections A Karimi, PS Duggirala 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 2 | 2022 |
Safety and progress proofs for a reactive planner and controller for autonomous driving A Karimi, M Goyal, PS Duggirala arXiv preprint arXiv:2107.05815, 2021 | 2 | 2021 |