18 citations · 77 across the 20 of their papers we have counts for
1 paper · 1 filter
Benjamin M. Gyori, Daniel Paulin, Sucheendra K. Palaniappan
The construction and formal verification of dynamical models is important in engineering, biology and other disciplines. We focus on non-linear models containing a set of parameter…