Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration

Dario Cattaruzza, Alessandro Abate, Peter Schrammel, Daniel Kroening. Unbounded-Time Safety Verification of Guarded LTI Models with Inputs by Abstract Acceleration. Journal of Automated Reasoning, 65(2):157-203, 2021. [doi]

Abstract

Abstract is missing.