1 code implementation • 28 Sep 2020 • Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
Parameterized synthesis offers a solution to the problem of constructing correct and verified controllers for parameterized systems.
Logic in Computer Science Formal Languages and Automata Theory