research
∙
06/29/2023
Learning Environment Models with Continuous Stochastic Dynamics
Solving control tasks in complex environments automatically through lear...
share
research
∙
06/29/2023
On the Relationship Between RNN Hidden State Vectors and Semantic Ground Truth
We examine the assumption that the hidden-state vectors of recurrent neu...
research
∙
12/04/2022
Online Shielding for Reinforcement Learning
Besides the recent impressive results on reinforcement learning (RL), sa...
research
∙
12/04/2022
Automata Learning meets Shielding
Safety is still one of the major research challenges in reinforcement le...
research
∙
06/23/2022
Reinforcement Learning under Partial Observability Guided by Learned Environment Models
In practical applications, we can rarely assume full observability of a ...
research
∙
05/07/2022
Search-Based Testing of Reinforcement Learning
Evaluation of deep reinforcement learning (RL) is inherently challenging...
research
∙
12/17/2020
Online Shielding for Stochastic Systems
In this paper, we propose a method to develop trustworthy reinforcement ...
research
∙
10/08/2020
Adaptive Shielding under Uncertainty
This paper targets control problems that exhibit specific safety and per...
research
∙
07/10/2019
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning (Full Version)
Models play an essential role in the design process of cyber-physical sy...
research
∙
06/28/2019
L*-Based Learning of Markov Decision Processes (Extended Version)
Automata learning techniques automatically generate system models from t...
research
∙
04/15/2019
Model-Based Testing IoT Communication via Active Automata Learning
This paper presents a learning-based approach to detecting failures in r...
research
∙
08/23/2018