Gaspar Isaac Melsión

Human-Feedback Shield Synthesis for Perceived Safety in Deep Reinforcement Learning

Despite the successes of deep reinforcement learning (RL), it is still challenging to obtain safe policies. Formal verification approaches ensure safety at all times, but usually overly restrict the agent’s behaviors, since they assume adversarial behavior of the environment. Instead of assuming adv