We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1308.5334 can endorse.

Approximated Symbolic Computations over Hybrid Automata

Alberto Casagrande, Tommaso Dreossi and Carla Piazza are not registered as owners of this paper. (why?)