Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization. - Akshay Dhonthi; Philipp Schillinger; Leonel Dario Rozo; Daniele Nardi (CoRR, 2021)

Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints. - Akshay Dhonthi; Philipp Schillinger; Leonel Rozo; Daniele Nardi (IROS, 2022)

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining. - Akshay Dhonthi; Ernst Moritz Hahn; Vahid Hashemi (FM, 2023)

Runtime Input Monitoring of a Reinforcement Learning-Based Agent for Automated Car Parking. - Hadi Ballout; Riccardo Berta; Igor Bochenko; Luca Lazzaroni; Akshay Dhonthi; Vahid Hashemi; Francesco Bellotti (ApplePies, 2024)

Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking. - Francesco Bellotti; Riccardo Berta; Vafali Soltanmuradov; David Martín Gómez; Akshay Dhonthi; Vahid Hashemi; Luca Lazzaroni (ApplePies, 2024)

Autonomous Vehicles Path Planning Under Temporal Logic Specifications. - Akshay Dhonthi; Nicolas Schischka; Ernst Moritz Hahn; Vahid Hashemi (SBMF, 2024)

AGNES: Abstraction-Guided Framework for Deep Neural Networks Security. - Akshay Dhonthi; Marcello Eiermann; Ernst Moritz Hahn; Vahid Hashemi (VMCAI (2), 2024)