Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans | IEEE Conference Publication | IEEE Xplore