Sign in

Symbolic Simulation of Parametrized Hybrid Systems with Affine Arithmetic.

Shota MatsumotoKazunori Ueda
Published in: TIME (2016)
Keyphrases