Rauh, A. et al. 2022. Verifying Provable Stability Domains for Discrete-Time Systems Using Ellipsoidal State Enclosures. Acta Cybernetica. 26, 2 (May 2022), 267–291. DOI:https://doi.org/10.14232/actacyb.293871.