Verified computation for the Hermitian positive definite solution of the conjugate discrete-time algebraic Riccati equation
discrete-time algebraic Riccati equation
scientific article; zbMATH DE number 7006461