Picture for Ernst Moritz Hahn

Ernst Moritz Hahn

Autonomous Vehicles Path Planning under Temporal Logic Specifications

Add code
Oct 10, 2024
Viaarxiv icon

Omega-Regular Decision Processes

Add code
Dec 14, 2023
Figure 1 for Omega-Regular Decision Processes
Figure 2 for Omega-Regular Decision Processes
Figure 3 for Omega-Regular Decision Processes
Viaarxiv icon

AGNES: Abstraction-guided Framework for Deep Neural Networks Security

Add code
Nov 07, 2023
Viaarxiv icon

Omega-Regular Reward Machines

Add code
Aug 14, 2023
Viaarxiv icon

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining

Add code
Dec 14, 2022
Viaarxiv icon

Recursive Reinforcement Learning

Add code
Jun 23, 2022
Figure 1 for Recursive Reinforcement Learning
Figure 2 for Recursive Reinforcement Learning
Figure 3 for Recursive Reinforcement Learning
Viaarxiv icon

Alternating Good-for-MDP Automata

Add code
May 06, 2022
Figure 1 for Alternating Good-for-MDP Automata
Figure 2 for Alternating Good-for-MDP Automata
Figure 3 for Alternating Good-for-MDP Automata
Figure 4 for Alternating Good-for-MDP Automata
Viaarxiv icon

Mungojerrie: Reinforcement Learning of Linear-Time Objectives

Add code
Jun 18, 2021
Figure 1 for Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Figure 2 for Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Figure 3 for Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Figure 4 for Mungojerrie: Reinforcement Learning of Linear-Time Objectives
Viaarxiv icon

Model-free Reinforcement Learning for Branching Markov Decision Processes

Add code
Jun 12, 2021
Figure 1 for Model-free Reinforcement Learning for Branching Markov Decision Processes
Viaarxiv icon

Omega-Regular Objectives in Model-Free Reinforcement Learning

Add code
Sep 26, 2018
Figure 1 for Omega-Regular Objectives in Model-Free Reinforcement Learning
Figure 2 for Omega-Regular Objectives in Model-Free Reinforcement Learning
Figure 3 for Omega-Regular Objectives in Model-Free Reinforcement Learning
Figure 4 for Omega-Regular Objectives in Model-Free Reinforcement Learning
Viaarxiv icon