Computer-aided verification of matrix Riccati algorithms - Tsachouridis, Vassilios A.; Giantamidis, Georgios (2019 IEEE 58th Conference on Decision and Control (CDC), Decision and Control (CDC), 2019 IEEE 58th Conference on, 2019)