Doctoral School Information Engineering and Computer Science
Shield Synthesis for Safe Reinforcement Learning