Probabilistic reachability analysis of the tap withdrawal circuit in Caenorhabditis elegans

Md Islam, Qinsi Wang, Ramin M Hasani, Edmund M Clarke, Radu Grosu, Scott A Smolka

Research output: Contribution to conferencePaper

Original languageEnglish
StatePublished - 2016

Fingerprint Dive into the research topics of 'Probabilistic reachability analysis of the tap withdrawal circuit in Caenorhabditis elegans'. Together they form a unique fingerprint.

Cite this