Optimizing demonstrated robot manipulation skills for temporal logic constraints A Dhonthi, P Schillinger, L Rozo, D Nardi 2022 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2022 | 7 | 2022 |
Study of signal temporal logic robustness metrics for robotic tasks optimization A Dhonthi, P Schillinger, L Rozo, D Nardi arXiv preprint arXiv:2110.00339, 2021 | 5 | 2021 |
Backdoor mitigation in deep neural networks via strategic retraining A Dhonthi, EM Hahn, V Hashemi International Symposium on Formal Methods, 635-647, 2023 | 2 | 2023 |
Investigate Feasibility of Model-Based Design Approach to Develop a Biped Walking Robot ADR Babu, BB Kotturshettar, AC Giriyapur 2019 3rd International Conference on Trends in Electronics and Informatics …, 2019 | 2 | 2019 |
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security A Dhonthi, M Eiermann, EM Hahn, V Hashemi International Conference on Verification, Model Checking, and Abstract …, 2023 | 1 | 2023 |