research
∙
07/05/2023
Safety Shielding under Delayed Observation
Agents operating in physical environments need to be able to handle dela...
share
research
∙
03/06/2023
A Systematic Approach to Automotive Security
We propose a holistic methodology for designing automotivesystems that c...
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
∙
10/06/2022
Threat Repair with Optimization Modulo Theories
We propose a model-based procedure for automatically preventing security...
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
∙
07/30/2021
Reactive Synthesis Modulo Theories Using Abstraction Refinement
Reactive synthesis builds a system from a specification given as a tempo...
research
∙
07/05/2021
Proving SIFA Protection of Masked Redundant Circuits
Implementation attacks like side-channel and fault attacks pose a consid...
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
∙
11/15/2020
Safety Synthesis Sans Specification
We define the problem of learning a transducer S from a target language ...
research
∙
10/13/2020
Adaptive Testing for Specification Coverage
Ensuring correctness of cyber-physical systems (CPS) is an extremely cha...
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
∙
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
∙
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
∙
04/15/2019
The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results
We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...
research
∙
09/05/2018
Synthesizing Adaptive Test Strategies from Temporal Logic Specifications
Constructing good test cases is difficult and time-consuming, especially...
research
∙
08/28/2018
Bounded Synthesis of Register Transducers
Reactive synthesis aims at automatic construction of systems from their ...
research
∙
07/24/2018
Expansion-Based QBF Solving Without Recursion
In recent years, expansion-based techniques have been shown to be very p...
research
∙
07/16/2018
Shielded Decision-Making in MDPs
A prominent problem in artificial intelligence and machine learning is t...
research
∙
04/09/2018
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
We consider the problem of monitoring a Linear Time Logic (LTL) specific...
research
∙
12/12/2017
OpenSEA: Semi-Formal Methods for Soft Error Analysis
Alpha-particles and cosmic rays cause bit flips in chips. Protection cir...
research
∙
11/29/2017
The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results
We report on the fourth reactive synthesis competition (SYNTCOMP 2017). ...
research
∙
11/29/2017
CTL* synthesis via LTL synthesis
We reduce synthesis for CTL* properties to synthesis for LTL. In the con...
research
∙
08/29/2017
Safe Reinforcement Learning via Shielding
Reinforcement learning algorithms discover policies that maximize reward...
research
∙
11/04/2016