52 citations · 113 across the 8 of their papers we have counts for
1 paper · 1 filter
Philipp J. Meyer, Matthias Rungger, Michael Luttenberger +2
We consider the symbolic controller synthesis approach to enforce safety specifications on perturbed, nonlinear control systems. In general, in each state of the system several con…