1 citations · 3 across the 5 of their papers we have counts for
5 papers
Autonomous Vehicles Path Planning under Temporal Logic Specifications
Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn +1
Path planning is an essential component of autonomous driving. A global planner is responsible for the high-level planning. It basically performs a shortest-path search on a known…
AGNES: Abstraction-guided Framework for Deep Neural Networks Security
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn +1
Deep Neural Networks (DNNs) are becoming widespread, particularly in safety-critical areas. One prominent application is image recognition in autonomous driving, where the correct…
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
Deep Neural Networks (DNN) are becoming increasingly more important in assisted and automated driving. Using such entities which are obtained using machine learning is inevitable:…
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints
Akshay Dhonthi, Philipp Schillinger, Leonel Rozo +1
For performing robotic manipulation tasks, the core problem is determining suitable trajectories that fulfill the task requirements. Various approaches to compute such trajectories…
Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization
Akshay Dhonthi, Philipp Schillinger, Leonel Rozo +1
Signal Temporal Logic (STL) is an efficient technique for describing temporal constraints. It can play a significant role in robotic manipulation, for example, to optimize the robo…