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]
@inproceedings{VobetawinkelR19, title = {A Control Lyapunov Function Approach Using Quantifier Elimination}, author = {Rick Vobetawinkel and Klaus Röbenack}, year = {2019}, doi = {10.1109/ICSTCC.2019.8885848}, url = {https://doi.org/10.1109/ICSTCC.2019.8885848}, researchr = {https://researchr.org/publication/VobetawinkelR19}, cites = {0}, citedby = {0}, pages = {186-191}, booktitle = {23rd International Conference on System Theory, Control and Computing, ICSTCC 2019, Sinaia, Romania, October 9-11, 2019}, publisher = {IEEE}, isbn = {978-1-7281-0699-1}, }