Bettina Könighofer | DeepAI

AI Chat

Featured Co-authors

Ufuk Topcu
123 publications
Nils Jansen
46 publications
Scott Niekum
45 publications
Sebastian Junges
41 publications
Roderick Bloem
27 publications
Ruzica Piskac
14 publications
Martin Tappler
12 publications
Martin Fränzle
8 publications
Kim Guldstrand Larsen
8 publications
Bernhard K. Aichernig
8 publications
Timos Antonopoulos
8 publications

∙ 07/05/2023

Safety Shielding under Delayed Observation

Agents operating in physical environments need to be able to handle dela...

0 Filip Cano Córdoba, et al. ∙

∙ 07/04/2023

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty

Principled accountability for autonomous decision-making in uncertain en...

0 Filip Cano Córdoba, et al. ∙

∙ 06/29/2023

Learning Environment Models with Continuous Stochastic Dynamics

Solving control tasks in complex environments automatically through lear...

0 Martin Tappler, et al. ∙

∙ 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 ...

0 Samuel Judson, et al. ∙

∙ 12/04/2022

Online Shielding for Reinforcement Learning

Besides the recent impressive results on reinforcement learning (RL), sa...

0 Bettina Könighofer, et al. ∙

∙ 12/04/2022

Automata Learning meets Shielding

Safety is still one of the major research challenges in reinforcement le...

0 Martin Tappler, et al. ∙

∙ 08/30/2022

Correct-by-Construction Runtime Enforcement in AI – A Survey

Runtime enforcement refers to the theories, techniques, and tools for en...

0 Bettina Könighofer, et al. ∙

∙ 05/07/2022

Search-Based Testing of Reinforcement Learning

Evaluation of deep reinforcement learning (RL) is inherently challenging...

0 Martin Tappler, et al. ∙

∙ 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-...

0 Stefan Pranger, et al. ∙

∙ 12/17/2020

Online Shielding for Stochastic Systems

In this paper, we propose a method to develop trustworthy reinforcement ...

0 Bettina Könighofer, et al. ∙

∙ 10/08/2020

Adaptive Shielding under Uncertainty

This paper targets control problems that exhibit specific safety and per...

0 Stefan Pranger, et al. ∙

∙ 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...

0 Roderick Bloem, et al. ∙

∙ 04/15/2019

Synthesis of Admissible Shields

Shield synthesis is an approach to enforce a set of safety-critical prop...

0 Laura Humphrey, et al. ∙

∙ 07/16/2018

Shielded Decision-Making in MDPs

A prominent problem in artificial intelligence and machine learning is t...

0 Nils Jansen, et al. ∙

∙ 08/29/2017

Safe Reinforcement Learning via Shielding

Reinforcement learning algorithms discover policies that maximize reward...

0 Mohammed Alshiekh, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world