Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Grégory Batt, Michel Page, Irene Cantone +3

Investigating the relation between the structure and behavior of complex biological networks often involves posing the following two questions: Is a hypothesized structure of a reg…