Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans.
Md. Ariful IslamQinsi WangRamin M. HasaniOndrej BalunEdmund M. ClarkeRadu GrosuScott A. SmolkaPublished in: HLDVT (2016)
Keyphrases
- reachability analysis
- caenorhabditis elegans
- model checking
- markov decision processes
- incremental algorithms
- probabilistic model
- high speed
- timed automata
- state space
- analog circuits
- generative model
- uncertain data
- integrity constraints
- electronic circuits
- circuit design
- temporal information
- data mining
- relational databases
- expert systems
- search algorithm