Safe Reinforcement Learning via Shielding
Shield Synthesis: Runtime Enforcement for Reactive Systems