Component-Based Modeling and Reachability Analysis of Genetic Networks.

Gregor Goessler

Published in: IEEE ACM Trans. Comput. Biol. Bioinform. (2011)

Keyphrases

reachability analysis
model checking
markov decision processes
artificial intelligence
software engineering
low cost
graphical models
sufficient conditions
incremental algorithms
genetic networks