It's Time to Play Safe: Shield Synthesis for Timed Systems. - Roderick Bloem; Peter Gjøl Jensen; Bettina Könighofer; Kim Guldstrand Larsen; Florian Lorber; Alexander Palmisano (CoRR, 2020)

Online Shielding for Stochastic Systems. - Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem (NFM, 2021)

Safety Shielding under Delayed Observation. - Filip Cano Córdoba; Alexander Palmisano; Martin Fränzle; Roderick Bloem; Bettina Könighofer (ICAPS, 2023)

Online shielding for reinforcement learning. - Bettina Könighofer; Julian Rudolf; Alexander Palmisano; Martin Tappler; Roderick Bloem (Innov. Syst. Softw. Eng., 2023)