@inproceedings{4448,
  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.},
  author       = {Henzinger, Thomas A and Ho, Pei},
  booktitle    = {3rd International Hybrid Systems Workshop},
  editor       = {Panos, Antsaklis and Kohn, Wolf and Nerode, Anil and Sastry, Shankar},
  isbn         = {9783540604723},
  location     = {Ithaca, NY, United States of America},
  pages        = {252 -- 264},
  publisher    = {Springer},
  title        = {{A note on abstract-interpretation strategies for hybrid automata}},
  doi          = {10.1007/3-540-60472-3_13},
  volume       = {999},
  year         = {1995},
}