Sign in
Efficient parameter search for qualitative models of regulatory networks using symbolic model checking.
Grégory Batt
Michel Page
Irene Cantone
Gregor Goessler
Pedro T. Monteiro
Hidde de Jong
Published in:
Bioinform. (2010)
Keyphrases
</>
symbolic model checking
qualitative models
regulatory networks
search algorithm
search space
model checking
dynamic systems
partial observability
neural network
data structure
knowledge discovery
gene expression
qualitative and quantitative
reverse engineering
formal verification