Fig. 1

Flow of Parameter Estimation Approach using Model Checking. The sequential approach for parameter estimation exhaustively enumerates through all the possible combinations of logical parameters. For each parameter, it constructs a model which is evaluated against experimental observations by employing model checking. If the result of model checking is true, the model is appended in the list of selected models