11 citations · 48 across the 20 of their papers we have counts for
4 papers · 1 filter
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:…
BFL: a Logic to Reason about Fault Trees
Stefano M. Nicoletti, E. Moritz Hahn, Marielle Stoelinga
Safety-critical infrastructures must operate safely and reliably. Fault tree analysis is a widespread method used to assess risks in these systems: fault trees (FTs) are required -…
Recursive Reinforcement Learning
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
Recursion is the fundamental paradigm to finitely describe potentially infinite objects. As state-of-the-art reinforcement learning (RL) algorithms cannot directly reason about rec…
Alternating Good-for-MDP Automata
Ernst Moritz Hahn, Mateo Perez, Sven Schewe +3
When omega-regular objectives were first proposed in model-free reinforcement learning (RL) for controlling MDPs, deterministic Rabin automata were used in an attempt to provide a…