11 citations · 48 across the 20 of their papers we have counts for
Showing 2023 · cs.LGShow all
2 papers · 2 filters
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…
cs.LG2023
Omega-Regular Reward Machines
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
Reinforcement learning (RL) is a powerful approach for training agents to perform tasks, but designing an appropriate reward mechanism is critical to its success. However, in many…