2 papers
cs.LO2020
Parameterized Synthesis with Safety Properties
Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin +2
Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems. Such systems occur naturally in practice (e.g.,…
cs.GT2019
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…