3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
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…