TY  - RPRT
TI  - Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
AU  - Tayyebe Haqiri
AU  - Federico Poloni
PY  - 2016
DO  - 10.1016/j.cam.2016.09.021
UR  - https://arxiv.org/abs/1509.02015
ID  - 1509.02015
ER  -