Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing | IEEE Conference Publication | IEEE Xplore