--- res: bibo_abstract: - We report on several abstract interpretation strategies that are designed to improve the performance of HyTech, a symbolic model checker for linear hybrid systems. We (1) simultaneously compute the target region from different directions, (2) conservatively approximate the target region by dropping constraints, and (3) iteratively refine the approximation until sufficient precision is obtained. We consider the standard abstract convex-hull operator and a novel abstract extrapolation operator.@eng bibo_authorlist: - foaf_Person: foaf_givenName: Thomas A foaf_name: Henzinger, Thomas A foaf_surname: Henzinger foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87 orcid: 0000−0002−2985−7724 - foaf_Person: foaf_givenName: Pei foaf_name: Ho, Pei foaf_surname: Ho bibo_doi: 10.1007/3-540-60472-3_13 bibo_volume: 999 dct_date: 1995^xs_gYear dct_isPartOf: - http://id.crossref.org/issn/9783540604723 dct_language: eng dct_publisher: Springer@ dct_title: A note on abstract-interpretation strategies for hybrid automata@ ...