I am a research engineer at AUDI AG working on the Audi Verifiable AI (AVAI) as well as the BMWi KARLI projects. My focus currently lies at the intersection of AI and formal methods, particularly on developing scalable methods and tools for the safety and security testing of AI functions. Prior to that, I was a visiting researcher at the Bosch center for AI in Renningen, focusing on using formal methods to find optimal robot trajectories. I hold a Master’s degree in Artificial Intelligence and Robotics from Sapienza University of Rome, Italy.
Expertise
Computer Science
- Neural Network
- Backdoors
- Deep Neural Network
- Logic Constraint
- Network Security
- Robot
- Temporal Logic
Engineering
- Road
Organisations
Publications
2025
Safe Journeys: Scalable Algorithms and Tools for Safety and Security Assurance of Autonomous Vehicles (2025)[Thesis › PhD Thesis - Research external, graduation UT]. University of Twente. Dhonthi Ramesh Babu, A.https://doi.org/10.3990/1.9789036566643
2024
Autonomous Vehicles Path Planning Under Temporal Logic Specifications (2024)In Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024. Proceedings (pp. 35-45) (Lecture Notes in Computer Science; Vol. 15403). Springer. Dhonthi Ramesh Babu, A., Schischka, N., Hahn, E. M. & Hashemi, V.https://doi.org/10.1007/978-3-031-78116-2_3Advancing water productivity monitoring: WaPLUGIN for the analysis and validation of FAO WaPOR data in QGIS (2024)International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 48(4), 35-41. Dhonthi, A., Fonseca Aponte, F. H., Nemer, Z., Hadj Ali, C., Tebbouche, M. Y. & van der Kwast, H.https://doi.org/10.5194/isprs-archives-XLVIII-4-W12-2024-35-2024AGNES: Abstraction-Guided Framework for Deep Neural Networks Security (2024)In Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings (pp. 124-138) (Lecture Notes in Computer Science; Vol. 14500). Springer. Dhonthi Ramesh Babu, A., Eiermann, M., Hahn, E. M. & Hashemi, V.https://doi.org/10.1007/978-3-031-50521-8_6
2023
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining (2023)In Formal Methods - 25th International Symposium, FM 2023, Proceedings (pp. 635-647) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14000 LNCS). Springer. Dhonthi Ramesh Babu, A., Hahn, E. M. & Hashemi, V.https://doi.org/10.1007/978-3-031-27481-7_37
2022
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints (2022)In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022 (pp. 1255-1262) (IEEE International Conference on Intelligent Robots and Systems; Vol. 2022-October). IEEE. Dhonthi Ramesh Babu, A., Schillinger, P., Rozo, L. & Nardi, D.https://doi.org/10.1109/IROS47612.2022.9981384
Scan the QR code or