Hesse, Janis Max Planck Society;
Hesse, J. (in preparation). Automated Hypothesis Generation and Validation for Model checking of Regulatory Networks.