Expertises
Computer Science
- Neural Network
- Backdoors
- Deep Neural Network
- Logic Constraint
- Network Security
- Robot
- Temporal Logic
- Regulatory Requirement
Organisaties
Publicaties
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 (E-pub ahead of print/First online). Dhonthi Ramesh Babu, A., Schischka, N., Hahn, E. M. & Hashemi, V.https://doi.org/10.1007/978-3-031-78116-2_3AGNES: 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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 14500 LNCS). 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 de QR-code of