CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Members
Events
Projects
Software
Publications
Contact
Light
Dark
Automatic
Dang Thao
Latest
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
Cite
×