Model Checking Gene Regulatory Networks

Mirco Giacobbe, Calin C. Guet, Ashutosh Gupta +3

The behaviour of gene regulatory networks (GRNs) is typically analysed using simulation-based statistical testing-like methods. In this paper, we demonstrate that we can replace th…