Bernstein coefficients; Neural network verification; Parametric dynamical systems; Signal temporal logic

Parametric dynamical systems emerge as a formalism for modeling natural and engineered systems ranging from biology, epidemiology, and medicine to cyber-physics. Parameter tuning is a complex task usually performed exploiting heavy simulations having …