{"id":"https://openalex.org/W2550378254","doi":"https://doi.org/10.1109/hldvt.2016.7748272","title":"Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans","display_name":"Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W2550378254","doi":"https://doi.org/10.1109/hldvt.2016.7748272","mag":"2550378254"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2016.7748272","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2016.7748272","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100781406","display_name":"Md. Ariful Islam","orcid":"https://orcid.org/0000-0003-0995-2166"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Md. Ariful Islam","raw_affiliation_strings":["Deparment of Computer Science, Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Deparment of Computer Science, Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052617216","display_name":"Qinsi Wang","orcid":"https://orcid.org/0000-0002-5868-9686"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Qinsi Wang","raw_affiliation_strings":["Deparment of Computer Science, Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Deparment of Computer Science, Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025684214","display_name":"Ramin Hasani","orcid":"https://orcid.org/0000-0002-9889-5222"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ramin M. Hasani","raw_affiliation_strings":["Department of Informatics, Vienna University of Technology"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014059775","display_name":"Ondrej Bal\u00fan","orcid":null},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Ondrej Balun","raw_affiliation_strings":["Department of Informatics, Vienna University of Technology"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105356861","display_name":"Edmund M. Clarke","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Edmund M. Clarke","raw_affiliation_strings":["Deparment of Computer Science, Carnegie Mellon University"],"affiliations":[{"raw_affiliation_string":"Deparment of Computer Science, Carnegie Mellon University","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034362557","display_name":"Radu Grosu","orcid":"https://orcid.org/0000-0001-5715-2142"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Radu Grosu","raw_affiliation_strings":["Department of Informatics, Vienna University of Technology"],"affiliations":[{"raw_affiliation_string":"Department of Informatics, Vienna University of Technology","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039202410","display_name":"Scott A. Smolka","orcid":"https://orcid.org/0000-0002-7348-630X"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott A. Smolka","raw_affiliation_strings":["Department of Computer Science, Stony Brook University"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Stony Brook University","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5100781406"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":0.4419,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.64364528,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"15","issue":null,"first_page":"170","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10676","display_name":"Genetics, Aging, and Longevity in Model Organisms","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1302","display_name":"Aging"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10676","display_name":"Genetics, Aging, and Longevity in Model Organisms","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1302","display_name":"Aging"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10621","display_name":"Gene Regulatory Network Analysis","score":0.9383000135421753,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T11541","display_name":"Neuroendocrine regulation and behavior","score":0.9115999937057495,"subfield":{"id":"https://openalex.org/subfields/3207","display_name":"Social Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7299138307571411},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6498197317123413},{"id":"https://openalex.org/keywords/parametric-statistics","display_name":"Parametric statistics","score":0.5886431932449341},{"id":"https://openalex.org/keywords/population","display_name":"Population","score":0.5687859058380127},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5000622272491455},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3913666307926178},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3077097535133362},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.29199618101119995},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.20289918780326843}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7299138307571411},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6498197317123413},{"id":"https://openalex.org/C117251300","wikidata":"https://www.wikidata.org/wiki/Q1849855","display_name":"Parametric statistics","level":2,"score":0.5886431932449341},{"id":"https://openalex.org/C2908647359","wikidata":"https://www.wikidata.org/wiki/Q2625603","display_name":"Population","level":2,"score":0.5687859058380127},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5000622272491455},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3913666307926178},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3077097535133362},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29199618101119995},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.20289918780326843},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C149923435","wikidata":"https://www.wikidata.org/wiki/Q37732","display_name":"Demography","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2016.7748272","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2016.7748272","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W43478227","https://openalex.org/W108046478","https://openalex.org/W1504003583","https://openalex.org/W1532842753","https://openalex.org/W1555732451","https://openalex.org/W1601404009","https://openalex.org/W1628168006","https://openalex.org/W1821435713","https://openalex.org/W1868105705","https://openalex.org/W1889720390","https://openalex.org/W1944127002","https://openalex.org/W1944445746","https://openalex.org/W1985940938","https://openalex.org/W1998612644","https://openalex.org/W1999643558","https://openalex.org/W2006615800","https://openalex.org/W2017676950","https://openalex.org/W2027261517","https://openalex.org/W2031012150","https://openalex.org/W2045745761","https://openalex.org/W2098923623","https://openalex.org/W2108007820","https://openalex.org/W2143604818","https://openalex.org/W2152682961","https://openalex.org/W2160938187","https://openalex.org/W2223995125","https://openalex.org/W2468443503","https://openalex.org/W2963688046","https://openalex.org/W3148499377","https://openalex.org/W6636208724","https://openalex.org/W6638543021"],"related_works":["https://openalex.org/W3088322742","https://openalex.org/W11326594","https://openalex.org/W2020803470","https://openalex.org/W2958210738","https://openalex.org/W3114373945","https://openalex.org/W2889201126","https://openalex.org/W2143337647","https://openalex.org/W3096056035","https://openalex.org/W1497589751","https://openalex.org/W1597492784","https://openalex.org/W129918999","https://openalex.org/W2804291498","https://openalex.org/W2161225937","https://openalex.org/W2080028974","https://openalex.org/W3104705157","https://openalex.org/W2963703347","https://openalex.org/W2760876680","https://openalex.org/W1490567242","https://openalex.org/W2105205612","https://openalex.org/W3005181748"],"abstract_inverted_index":{"We":[0,141,247,266],"present":[1],"a":[2,7,12,30,35,92,110,118,135,151,155,166,186,221,227],"probabilistic":[3,144],"reachability":[4,66,145],"analysis":[5,67,146],"of":[6,11,59,73,82,94,107,112,120,169,171,214,223,229,236,262],"(nonlinear":[8],"ODE)":[9],"model":[10,72,90,179],"neural":[13,51],"circuit":[14,52,71,242],"in":[15,39,109,209,231,239],"Caeorhabditis":[16],"elegans":[17,37],"(C.":[18],"elegans),":[19],"the":[20,43,57,69,80,100,200,210,212,237,240],"common":[21],"roundworm.":[22],"In":[23,190],"particular,":[24],"we":[25,63,97,163],"consider":[26],"Tap":[27],"Withdrawal":[28],"(TW),":[29],"reflexive":[31],"behavior":[32,275],"exhibited":[33],"by":[34,283],"C.":[36],"worm":[38],"response":[40,55,133,274],"to":[41,78,125,196,255,271],"vibrating":[42],"surface":[44],"on":[45,68,129,147,226],"which":[46,232],"it":[47],"is":[48,56],"moving.":[49],"The":[50,86,161],"underlying":[53],"this":[54,60,126],"subject":[58],"investigation.":[61],"Specially,":[62],"perform":[64,143],"bounded-time":[65],"TW":[70,84,102,132,188,215,241,258,273],"Wicks":[74,87,172,217,284],"et":[75,88,173,218,285],"al.":[76,89,174,219,286],"(1996)":[77],"estimate":[79,257],"probability":[81,106],"various":[83,101],"responses.":[85,216],"has":[91],"number":[93,222],"parameters,":[95],"and":[96,104],"demonstrate":[98],"that":[99,153,184,249],"responses":[103],"their":[105,178],"occurrence":[108],"population":[111,228],"worms":[113,230],"can":[114,252],"be":[115,253],"viewed":[116],"as":[117,134],"problem":[119,127],"parameter":[121,182,202],"uncertainty.":[122,140],"Our":[123],"approach":[124],"rests":[128],"encoding":[130],"each":[131],"hybrid":[136],"automaton":[137],"with":[138,158,180],"parametric":[139],"then":[142],"these":[148,263],"automata":[149],"using":[150,204],"technique":[152,193,251,270],"combines":[154],"\u03b4-decision":[156],"procedure":[157],"statistical":[159,205],"tests.":[160],"results":[162],"obtain":[164],"are":[165,243],"significant":[167],"extension":[168],"those":[170],"(1996),":[175],"who":[176],"equip":[177],"fixed":[181],"values":[183],"reproduce":[185],"single":[187],"response.":[189],"contrast,":[191],"our":[192,250,269],"allow":[194],"us":[195],"more":[197,235],"thoroughly":[198],"explore":[199],"models":[201],"space":[203],"sampling":[206],"theory,":[207],"identifying":[208],"process":[211],"distribution":[213],"conducted":[220],"ablation":[224,264,278],"experiments":[225],"one":[233],"or":[234],"neurons":[238],"surgically":[244],"ablated":[245],"(removed).":[246],"show":[248],"used":[254],"correctly":[256],"response-probabilities":[259],"for":[260,276],"four":[261],"groups.":[265],"also":[267],"use":[268],"predict":[272],"two":[277],"groups":[279],"not":[280],"previously":[281],"considered":[282]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}