Login / Signup

A computational procedure for bisimulation of hybrid dynamical systems.

Babak Tavassoli
Published in: ECC (2015)
Keyphrases