2 papers
cs.RO2024
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…
cs.LG2023
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…