Search Results - "Könighofer, Bettina"

Online shielding for reinforcement learning by Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

“…Besides the recent impressive results on reinforcement learning (RL), safety is still one of the major research challenges in RL. RL is a machine-learning…”
Get full text

Learning and Repair of Deep Reinforcement Learning Policies from Fuzz-Testing Data by Tappler, Martin, Pferscher, Andrea, Aichernig, Bernhard K., Konighofer, Bettina

“…Reinforcement learning from demonstrations (RLfD) is a promising approach to improve the exploration efficiency of reinforcement learning (RL) by learning from…”
Get full text

Synthesizing robust systems by Bloem, Roderick, Chatterjee, Krishnendu, Greimel, Karin, Henzinger, Thomas A., Hofferek, Georg, Jobstmann, Barbara, Könighofer, Bettina, Könighofer, Robert

“…Systems should not only be correct but also robust in the sense that they behave reasonably in unexpected situations. This article addresses synthesis of…”
Get full text

Synthesis of Minimum-Cost Shields for Multi-agent Systems by Bharadwaj, Suda, Bloem, Roderik, Dimitrova, Rayna, Konighofer, Bettina, Topcu, Ufuk

“…In this paper, we propose a general approach to derive runtime enforcement implementations for multiagent systems, called shields, from temporal logical…”
Get full text

Synthesizing Robust Systems with RATSY by Bloem, Roderick, Gamauf, Hans-Jürgen, Hofferek, Georg, Könighofer, Bettina, Könighofer, Robert

“…Specifications for reactive systems often consist of environment assumptions and system guarantees. An implementation should not only be correct, but also…”
Get full text

Shield synthesis by Könighofer, Bettina, Alshiekh, Mohammed, Bloem, Roderick, Humphrey, Laura, Könighofer, Robert, Topcu, Ufuk, Wang, Chao

“…Shield synthesis is an approach to enforce safety properties at runtime. A shield monitors the system and corrects any erroneous output values instantaneously…”
Get full text

Synthesis of synchronization using uninterpreted functions by Bloem, Roderick, Hofferek, Georg, Konighofer, Bettina, Konighofer, Robert, Auserlechner, Simon, Spork, Raphael

“…Correctness of a program with respect to concurrency is often hard to achieve, but easy to specify: the concurrent program should produce the same results as a…”
Get full text

Test Where Decisions Matter: Importance-driven Testing for Deep Reinforcement Learning by Pranger, Stefan, Chockler, Hana, Tappler, Martin, Könighofer, Bettina

“…In many Deep Reinforcement Learning (RL) problems, decisions in a trained policy vary in significance for the expected safety and performance of the policy…”
Get full text

Learning Environment Models with Continuous Stochastic Dynamics by Tappler, Martin, Muškardin, Edi, Aichernig, Bernhard K, Könighofer, Bettina

“…Solving control tasks in complex environments automatically through learning offers great potential. While contemporary techniques from deep reinforcement…”
Get full text

Online Shielding for Reinforcement Learning by Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

“…Besides the recent impressive results on reinforcement learning (RL), safety is still one of the major research challenges in RL. RL is a machine-learning…”
Get full text

Correct-by-Construction Runtime Enforcement in AI -- A Survey by Könighofer, Bettina, Bloem, Roderick, Ehlers, Rüdiger, Pek, Christian

“…Runtime enforcement refers to the theories, techniques, and tools for enforcing correct behavior with respect to a formal specification of systems at runtime…”
Get full text

Search-Based Testing of Reinforcement Learning by Tappler, Martin, Córdoba, Filip Cano, Aichernig, Bernhard K, Könighofer, Bettina

“…Evaluation of deep reinforcement learning (RL) is inherently challenging. Especially the opaqueness of learned policies and the stochastic nature of both…”
Get full text

Safety Shielding under Delayed Observation by Córdoba, Filip Cano, Palmisano, Alexander, Fränzle, Martin, Bloem, Roderick, Könighofer, Bettina

“…Agents operating in physical environments need to be able to handle delays in the input and output signals since neither data transmission nor sensing or…”
Get full text

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions by Judson, Samuel, Elacqua, Matthew, Cano, Filip, Antonopoulos, Timos, Könighofer, Bettina, Shapiro, Scott J, Piskac, Ruzica

“…Principled accountability in the aftermath of harms is essential to the trustworthy design and governance of algorithmic decision making. Legal theory offers a…”
Get full text

TEMPEST -- Synthesis Tool for Reactive Systems and Shields in Probabilistic Environments by Pranger, Stefan, Könighofer, Bettina, Posch, Lukas, Bloem, Roderick

“…We present Tempest, a synthesis tool to automatically create correct-by-construction reactive systems and shields from qualitative or quantitative…”
Get full text

Automata Learning meets Shielding by Tappler, Martin, Pranger, Stefan, Könighofer, Bettina, Muškardin, Edi, Bloem, Roderick, Larsen, Kim

“…Safety is still one of the major research challenges in reinforcement learning (RL). In this paper, we address the problem of how to avoid safety violations of…”
Get full text

Online Shielding for Stochastic Systems by Könighofer, Bettina, Rudolf, Julian, Palmisano, Alexander, Tappler, Martin, Bloem, Roderick

“…In this paper, we propose a method to develop trustworthy reinforcement learning systems. To ensure safety especially during exploration, we automatically…”
Get full text

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty by Córdoba, Filip Cano, Judson, Samuel, Antonopoulos, Timos, Bjørner, Katrine, Shoemaker, Nicholas, Shapiro, Scott J, Piskac, Ruzica, Könighofer, Bettina

“…Principled accountability for autonomous decision-making in uncertain environments requires distinguishing intentional outcomes from negligent designs from…”
Get full text

Formal Methods for Trused AI by Konighofer, Bettina

“…The enormous influence of systems deploying AI is contrasted by the growing concerns about their safety and the relative lack of trust by the society. This…”
Get full text

Synthesis of Admissible Shields by Humphrey, Laura, Könighofer, Bettina, Könighofer, Robert, Topcu, Ufuk

“…Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, {HVC} 2016, Haifa, Israel, November 14-17, 2016,…”
Get full text