Sigurdur Freyr Hafstein. Efficient Verification of CPA Lyapunov Functions. In Giuseppina Gini, Henk Nijmeijer, Wolfram Burgard, Dimitar P. Filev, editors, Proceedings of the 19th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2022, Lisbon, Portugal, July 14-16, 2022. pages 120-129, SCITEPRESS, 2022. [doi]
Abstract is missing.