Akshay Dhonthi

According to our database, Akshay Dhonthi authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

AGNES: Abstraction-Guided Framework for Deep Neural Networks Security.

Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Autonomous Vehicles Path Planning Under Temporal Logic Specifications.

Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

2023

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.

Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi

Proceedings of the Formal Methods - 25th International Symposium, 2023

2022

Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints.

Akshay Dhonthi, Philipp Schillinger, Leonel Rozo, Daniele Nardi

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

2021

Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization.

Akshay Dhonthi, Philipp Schillinger, Leonel Dario Rozo, Daniele Nardi

CoRR, 2021