Safety Shielding under Delayed Observation

1 code implementation • 5 Jul 2023 • Filip Cano Córdoba, Alexander Palmisano, Martin Fränzle, Roderick Bloem, Bettina Könighofer

We propose synthesis algorithms to compute \emph{delay-resilient shields} that guarantee safety under worst-case assumptions on the delays of the input signals.

Autonomous Driving

Online Shielding for Reinforcement Learning

no code implementations • 4 Dec 2022 • Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

The intuition behind online shielding is to compute at runtime the set of all states that could be reached in the near future.

reinforcement-learning Reinforcement Learning (RL)

Online Shielding for Stochastic Systems

no code implementations • 17 Dec 2020 • Bettina Könighofer, Julian Rudolf, Alexander Palmisano, Martin Tappler, Roderick Bloem

The intuition behind online shielding is to compute during run-time the set of all states that could be reached in the near future.

Logic in Computer Science

It's Time to Play Safe: Shield Synthesis for Timed Systems

no code implementations • 30 Jun 2020 • Roderick Bloem, Peter Gjøl Jensen, Bettina Könighofer, Kim Guldstrand Larsen, Florian Lorber, Alexander Palmisano

A timed pre-shield is placed before the system and provides a set of safe outputs.