193 citations · 268 across the 9 of their papers we have counts for
1 paper · 1 filter
Gunther Reissig, Alexander Weber, Matthias Rungger
We present an abstraction and refinement methodology for the automated controller synthesis to enforce general predefined specifications. The designed controllers require quantized…