Thao Dang

Latest

• Parameter synthesis of polynomial dynamical systems
• Image Approximation for Feed Forward Neural Nets
• Set-Based Analysis for Biological Modeling
• 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