Vassilios A. Tsachouridis, Georgios Giantamidis. Computer-aided verification of matrix Riccati algorithms. In 58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019. pages 8073-8078, IEEE, 2019. [doi]
@inproceedings{TsachouridisG19, title = {Computer-aided verification of matrix Riccati algorithms}, author = {Vassilios A. Tsachouridis and Georgios Giantamidis}, year = {2019}, doi = {10.1109/CDC40024.2019.9030135}, url = {https://doi.org/10.1109/CDC40024.2019.9030135}, researchr = {https://researchr.org/publication/TsachouridisG19}, cites = {0}, citedby = {0}, pages = {8073-8078}, booktitle = {58th IEEE Conference on Decision and Control, CDC 2019, Nice, France, December 11-13, 2019}, publisher = {IEEE}, }