Treffer: Computer-aided verification of matrix Riccati algorithms

Title:
Computer-aided verification of matrix Riccati algorithms
Authors:
Tsachouridis, Vassilios A., Giantamidis, Georgios
Source:
2019 IEEE 58th Conference on Decision and Control (CDC) Decision and Control (CDC), 2019 IEEE 58th Conference on. :8073-8078 Dec, 2019
Relation:
2019 IEEE 58th Conference on Decision and Control (CDC)
Database:
IEEE Xplore Digital Library