Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic.

Shota Matsumoto, Kazunori Ueda

Browse the full TIME paper archive.