Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha. Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. In Sorin Istrail, Ion I. Mandoiu, Mihai Pop, Sanguthevar Rajasekaran, John L. Spouge, editors, IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, ICCABS 2012, Las Vegas, NV, USA, February 23-25, 2012. pages 1-6, IEEE, 2012. [doi]
Abstract is missing.