Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka. Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. In IEEE International High Level Design Validation and Test Workshop, HLDVT 2016, Santa Cruz, CA, USA, October 7-8, 2016. pages 170-177, IEEE, 2016. [doi]
Abstract is missing.