research
∙
07/05/2023
Safety Shielding under Delayed Observation
Agents operating in physical environments need to be able to handle dela...
share
research
∙
07/04/2023
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty
Principled accountability for autonomous decision-making in uncertain en...
research
∙
06/29/2023
Learning Environment Models with Continuous Stochastic Dynamics
Solving control tasks in complex environments automatically through lear...
research
∙
05/09/2023
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions
Principled accountability in the aftermath of harms is essential to the ...
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
∙
08/30/2022
Correct-by-Construction Runtime Enforcement in AI – A Survey
Runtime enforcement refers to the theories, techniques, and tools for en...
research
∙
05/07/2022
Search-Based Testing of Reinforcement Learning
Evaluation of deep reinforcement learning (RL) is inherently challenging...
research
∙
05/26/2021
TEMPEST – Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments
We present Tempest, a synthesis tool to automatically create correct-by-...
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
∙
06/30/2020
It's Time to Play Safe: Shield Synthesis for Timed Systems
Erroneous behaviour in safety critical real-time systems may inflict ser...
research
∙
04/15/2019
Synthesis of Admissible Shields
Shield synthesis is an approach to enforce a set of safety-critical prop...
research
∙
07/16/2018
Shielded Decision-Making in MDPs
A prominent problem in artificial intelligence and machine learning is t...
research
∙
08/29/2017