Roderick Bloem | DeepAI

AI Chat

Featured Co-authors

Ufuk Topcu
123 publications
Bernd Finkbeiner
77 publications
Nils Jansen
46 publications
Scott Niekum
45 publications
Ezio Bartocci
43 publications
Sebastian Junges
41 publications
Jean-François Raskin
38 publications
Franz Pernkopf
34 publications
Guillermo A. Perez
32 publications
Sven Schewe
25 publications
Dejan Nickovic
18 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. ∙

∙ 03/06/2023

A Systematic Approach to Automotive Security

We propose a holistic methodology for designing automotivesystems that c...

0 Masoud Ebrahimi, 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. ∙

∙ 10/06/2022

Threat Repair with Optimization Modulo Theories

We propose a model-based procedure for automatically preventing security...

0 Thorsten Tarrach, 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. ∙

∙ 07/30/2021

Reactive Synthesis Modulo Theories Using Abstraction Refinement

Reactive synthesis builds a system from a specification given as a tempo...

0 Benedikt Maderbacher, et al. ∙

∙ 07/05/2021

Proving SIFA Protection of Masked Redundant Circuits

Implementation attacks like side-channel and fault attacks pose a consid...

0 Vedad Hadzic, 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. ∙

∙ 11/15/2020

Safety Synthesis Sans Specification

We define the problem of learning a transducer S from a target language ...

0 Roderick Bloem, et al. ∙

∙ 10/13/2020

Adaptive Testing for Specification Coverage

Ensuring correctness of cyber-physical systems (CPS) is an extremely cha...

0 Ezio Bartocci, 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. ∙

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

0 Bernhard K. Aichernig, et al. ∙

∙ 04/15/2019

Model-Based Testing IoT Communication via Active Automata Learning

This paper presents a learning-based approach to detecting failures in r...

0 Martin Tappler, et al. ∙

∙ 04/15/2019

The 5th Reactive Synthesis Competition (SYNTCOMP 2018): Benchmarks, Participants & Results

We report on the fifth reactive synthesis competition (SYNTCOMP 2018). W...

0 Swen Jacobs, et al. ∙

∙ 09/05/2018

Synthesizing Adaptive Test Strategies from Temporal Logic Specifications

Constructing good test cases is difficult and time-consuming, especially...

0 Roderick Bloem, et al. ∙

∙ 08/28/2018

Bounded Synthesis of Register Transducers

Reactive synthesis aims at automatic construction of systems from their ...

0 Ayrat Khalimov, et al. ∙

∙ 07/24/2018

Expansion-Based QBF Solving Without Recursion

In recent years, expansion-based techniques have been shown to be very p...

0 Roderick Bloem, 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. ∙

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

0 Ezio Bartocci, et al. ∙

∙ 12/12/2017

OpenSEA: Semi-Formal Methods for Soft Error Analysis

Alpha-particles and cosmic rays cause bit flips in chips. Protection cir...

0 Patrick Klampfl, et al. ∙

∙ 11/29/2017

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

We report on the fourth reactive synthesis competition (SYNTCOMP 2017). ...

0 Swen Jacobs, et al. ∙

∙ 11/29/2017

CTL* synthesis via LTL synthesis

We reduce synthesis for CTL* properties to synthesis for LTL. In the con...

0 Roderick Bloem, et al. ∙

∙ 08/29/2017

Safe Reinforcement Learning via Shielding

Reinforcement learning algorithms discover policies that maximize reward...

0 Mohammed Alshiekh, et al. ∙

∙ 11/04/2016

QBF Solving by Counterexample-guided Expansion

We introduce a novel generalization of Counterexample-Guided Inductive S...

0 Roderick Bloem, et al. ∙

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