Picture for Akshay Dhonthi

Akshay Dhonthi

Autonomous Vehicles Path Planning under Temporal Logic Specifications

Add code
Oct 10, 2024
Viaarxiv icon

AGNES: Abstraction-guided Framework for Deep Neural Networks Security

Add code
Nov 07, 2023
Viaarxiv icon

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining

Add code
Dec 14, 2022
Viaarxiv icon

Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints

Add code
Sep 07, 2022
Figure 1 for Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints
Figure 2 for Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints
Figure 3 for Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints
Figure 4 for Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints
Viaarxiv icon

Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization

Add code
Oct 01, 2021
Figure 1 for Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization
Figure 2 for Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization
Figure 3 for Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization
Figure 4 for Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization
Viaarxiv icon