Learning-Based Synthesis of Safety Controllers

Daniel Neider, Oliver Markgraf

We propose a machine learning framework to synthesize reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration, two-p…