parameter estimation
Parameter Estimation by Model Checking for Biological Systems