Explanations for Unrealizability of Infinite-State Safety Shields

Andoni Rodriguez, Irfansha Shaik, Davide Corsi +2

Safe Reinforcement Learning focuses on developing optimal policies while ensuring safety. A popular method to address such task is shielding, in which a correct-by-construction saf…