Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
scientific article; zbMATH DE number 7356971
scientific article