Rauh, A., Bourgois, A. and Jaulin, L. 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.