We present computationally efficient techniques for approximate model-checking using bisimulation-partitioning, polyhedra, grids and time discretization for semi-algebraic hybrid systems, and demonstrate how they relate to and extend other existing techniques.
['Venkatesh Mysore', 'Bud Mishra']
Algorithmic Algebraic Model Checking III: Approximate Methods