Learning-Based Synthesis of Safety Controllers

Daniel Neider, Oliver Markgraf