Arup K. Ghosh, Faraz Hussain, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha. Decision procedure based discovery of rare behaviors in Stochastic Differential Equation models of biological systems. 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.