Akshay Dhonthi

11 papers A 1B 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — conf
AGNES: Abstraction-Guided Framework for Deep Neural Networks Security.
VMCAI (2)
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
2024 — conf
Autonomous Vehicles Path Planning Under Temporal Logic Specifications.
SBMF
Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi
2024 J jnl
Autonomous Vehicles Path Planning under Temporal Logic Specifications.
CoRR
Akshay Dhonthi, Nicolas Schischka, Ernst Moritz Hahn, Vahid Hashemi
2024 — conf
Robustness Verification of a Reinforcement Learning-Based Agent for Automated Car Parking.
ApplePies
Francesco Bellotti, Riccardo Berta, Vafali Soltanmuradov, David Martín Gómez, Akshay Dhonthi, Vahid Hashemi, Luca Lazzaroni
2024 — conf
Runtime Input Monitoring of a Reinforcement Learning-Based Agent for Automated Car Parking.
ApplePies
Hadi Ballout, Riccardo Berta, Igor Bochenko, Luca Lazzaroni, Akshay Dhonthi, Vahid Hashemi, Francesco Bellotti
2023 J jnl
AGNES: Abstraction-guided Framework for Deep Neural Networks Security.
CoRR
Akshay Dhonthi, Marcello Eiermann, Ernst Moritz Hahn, Vahid Hashemi
2023 B conf
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.
FM
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
2022 J jnl
Backdoor Mitigation in Deep Neural Networks via Strategic Retraining.
CoRR
Akshay Dhonthi, Ernst Moritz Hahn, Vahid Hashemi
2022 A conf
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints.
IROS
Akshay Dhonthi, Philipp Schillinger, Leonel Rozo, Daniele Nardi
2022 J jnl
Optimizing Demonstrated Robot Manipulation Skills for Temporal Logic Constraints.
CoRR
Akshay Dhonthi, Philipp Schillinger, Leonel Dario Rozo, Daniele Nardi
2021 J jnl
Study of Signal Temporal Logic Robustness Metrics for Robotic Tasks Optimization.
CoRR
Akshay Dhonthi, Philipp Schillinger, Leonel Dario Rozo, Daniele Nardi