Akshay Dhonthi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Mazurkiewicz Traces

Satisfiability Problem

Top Venues

Publications

Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. VMCAI (2) (2024)
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. FM (2023)
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
AGNES: Abstraction-guided Framework for Deep Neural Networks Security. CoRR (2023)
Akshay Dhonthi, Philipp Schillinger, Leonel Rozo, Daniele Nardi
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints. IROS (2022)
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. CoRR (2022)
Akshay Dhonthi, Philipp Schillinger, Leonel Dario Rozo, Daniele Nardi
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints. CoRR (2022)
Akshay Dhonthi, Philipp Schillinger, Leonel Dario Rozo, Daniele Nardi
Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization. CoRR (2021)