Rick Vobetawinkel, Klaus Röbenack. A Control Lyapunov Function Approach Using Quantifier Elimination. In 23rd International Conference on System Theory, Control and Computing, ICSTCC 2019, Sinaia, Romania, October 9-11, 2019. pages 186-191, IEEE, 2019. [doi]
Abstract is missing.