Biological systems; Parameter synthesis; Reachability; STL; Computer Science (all); Theoretical Computer Science

Parameters are often used to tune mathematical models and capture nondeterminism and uncertainty in physical and engineering systems. This paper is concerned with parametric nonlinear dynamical systems and the problem of determining the parameter …