Picture for Sven Schewe

Sven Schewe

DFAMiner: Mining minimal separating DFAs from labelled samples

Add code
May 29, 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

Omega-Regular Reward Machines

Add code
Aug 14, 2023
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

Enhancing Adversarial Training with Second-Order Statistics of Weights

Add code
Mar 11, 2022
Figure 1 for Enhancing Adversarial Training with Second-Order Statistics of Weights
Figure 2 for Enhancing Adversarial Training with Second-Order Statistics of Weights
Figure 3 for Enhancing Adversarial Training with Second-Order Statistics of Weights
Figure 4 for Enhancing Adversarial Training with Second-Order Statistics of Weights
Viaarxiv icon

Weight Expansion: A New Perspective on Dropout and Generalization

Add code
Jan 23, 2022
Figure 1 for Weight Expansion: A New Perspective on Dropout and Generalization
Figure 2 for Weight Expansion: A New Perspective on Dropout and Generalization
Figure 3 for Weight Expansion: A New Perspective on Dropout and Generalization
Figure 4 for Weight Expansion: A New Perspective on Dropout and Generalization
Viaarxiv icon

Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems

Add code
Nov 30, 2021
Figure 1 for Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
Figure 2 for Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
Figure 3 for Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
Figure 4 for Reliability Assessment and Safety Arguments for Machine Learning Components in Assuring Learning-Enabled Autonomous Systems
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