Expertises
Computer Science
- Neural Network
- Backdoors
- Deep Neural Network
- Logic Constraint
- Network Security
- Robot
- Temporal Logic
- temporal property
Organisaties
Publicaties
2024
AGNES: 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