
Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
Keywords: 65M32; 35Kxx; 65T60; Algebraic Riccati equation; Stabilizing solution; Interval arithmetic; Verified computation; Krawczyk's method;