Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing

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]

Authors

Faraz Hussain

This author has not been identified. It may be one of the following persons: Look up 'Faraz Hussain' in Google

Raj Gautam Dutta

This author has not been identified. Look up 'Raj Gautam Dutta' in Google

Sumit Kumar Jha

This author has not been identified. Look up 'Sumit Kumar Jha' in Google

Christopher James Langmead

This author has not been identified. Look up 'Christopher James Langmead' in Google

Susmit Jha

This author has not been identified. Look up 'Susmit Jha' in Google