No photo of Akshay Dhonthi Ramesh Babu
Contact Expert

Akshay Dhonthi Ramesh Babu

Calculated based on number of publications stored in Pure and citations from Scopus
20222024

Research activity per year

  • 4 Conference contribution
Filter
Conference contribution

Search results

  • 2024

    AGNES: Abstraction-Guided Framework for Deep Neural Networks Security

    Dhonthi Ramesh Babu, A., Eiermann, M., Hahn, E. M. & Hashemi, V., 2024, Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, Proceedings. Dimitrova, R., Lahav, O. & Wolff, S. (eds.). Springer, p. 124-138 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14500 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    32 Downloads (Pure)

  • Autonomous Vehicles Path Planning Under Temporal Logic Specifications

    Dhonthi Ramesh Babu, A., Schischka, N., Hahn, E. M. & Hashemi, V., 29 Nov 2024, (E-pub ahead of print/First online) Formal Methods: Foundations and Applications: 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024. Proceedings. C. Nogueira, S. & Teodorov, C. (eds.). Cham, Switzerland: Springer, p. 35-45 11 p. (Lecture Notes in Computer Science; vol. 15403).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2023

    Backdoor Mitigation in Deep Neural Networks via Strategic Retraining

    Dhonthi Ramesh Babu, A., Hahn, E. M. & Hashemi, V., 3 Mar 2023, Formal Methods - 25th International Symposium, FM 2023, Proceedings. Chechik, M., Katoen, J.-P. & Leucker, M. (eds.). Springer, p. 635-647 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14000 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    30 Downloads (Pure)
  • 2022

    Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints

    Dhonthi Ramesh Babu, A., Schillinger, P., Rozo, L. & Nardi, D., 26 Dec 2022, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2022. IEEE, p. 1255-1262 8 p. (IEEE International Conference on Intelligent Robots and Systems; vol. 2022-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    7 Citations (Scopus)