An Automaton Learning Approach to Solving Safety Games over Infinite Graphs

Daniel Neider, Ufuk Topcu

We propose a method to construct finite-state reactive controllers for systems whose interactions with their adversarial environment are modeled by infinite-duration two-player gam…