1 paper
Benedikt Maderbacher, Roderick Bloem
We propose a method to synthesize a parameterized infinite-state systems that can be instantiated for different parameter values. The specification is given in a parameterized temp…