Dang Thao

Reachability computation for polynomial dynamical systems
Parallelotope bundles for polynomial reachability
Hybrid Systems Biology: Second International Workshop, HSB 2013 Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014 Vienna, Austria, July 23–24, 2014 Revised Selected Papers
Parameter Synthesis Through Temporal Logic Specifications

Published with Wowchemy — the free, open source website builder that empowers creators.