Shielded Reinforcement Learning for Hybrid Systems. - Asger Horn Brorholt; Peter Gjøl Jensen; Kim Guldstrand Larsen; Florian Lorber; Christian Schilling 001 (AISoLA, 2023)

Efficient Shield Synthesis via State-Space Transformation. - Asger Horn Brorholt; Andreas Holck Høeg-Petersen; Kim Guldstrand Larsen; Christian Schilling 001 (AISoLA, 2024)

Compositional Shielding and Reinforcement Learning for Multi-Agent Systems. - Asger Horn Brorholt; Kim Guldstrand Larsen; Christian Schilling 001 (AAMAS, 2025)

Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems. - Asger Horn Brorholt; Andreas Holck Høeg-Petersen; Peter Gjøl Jensen; Kim Guldstrand Larsen; Marius Mikucionis; Christian Schilling 001; Andrzej Wasowski (CoRR, 2025)