Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. - Md. Ariful Islam; Qinsi Wang; Ramin M. Hasani; Ondrej Balun; Edmund M. Clarke; Radu Grosu; Scott A. Smolka (HLDVT, 2016)