CompBio & Bioinf @ UniUd
CompBio & Bioinf @ UniUd
Home
Open Positions
Highlights
Projects
Software
Publications
Members
Contact
Light
Dark
Automatic
Dynamical systems
pyHybridAnalysis
A Python Package for the epsilon-Semantics Analysis of Hybrid Systems.
Sapo
A library for Reachability Computation and Parameter Synthesis of Polynomial Systems. Also available as a Web APP.
Cite
×