1 paper
Stefan Streif, Philipp Rumschinski, Didier Henrion +1
Obtaining initial conditions and parameterizations leading to a model consistent with available measurements or safety specifications is important for many applications. Examples i…