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]
@inproceedings{Hafstein22,
title = {Efficient Verification of CPA Lyapunov Functions},
author = {Sigurdur Freyr Hafstein},
year = {2022},
doi = {10.5220/0011231700003271},
url = {https://doi.org/10.5220/0011231700003271},
researchr = {https://researchr.org/publication/Hafstein22},
cites = {0},
citedby = {0},
pages = {120-129},
booktitle = {Proceedings of the 19th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2022, Lisbon, Portugal, July 14-16, 2022},
editor = {Giuseppina Gini and Henk Nijmeijer and Wolfram Burgard and Dimitar P. Filev},
publisher = {SCITEPRESS},
isbn = {978-989-758-585-2},
}