Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations. - Tayyebe Haqiri; Federico Poloni (J. Comput. Appl. Math., 2017)