Fully-Automated Verification of Linear Systems Using Reachability Analysis with Support Functions
scientific article; zbMATH DE number 7807946
scientific article