---
title: "Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach"
authors:
  - "Grégory Batt"
  - "Delphine Ropers"
  - "Hidde de Jong"
  - "Johannes Geiselmann"
  - "Radu Mateescu"
  - "Michel Page"
  - "Dominique Schneider"
doi: ""
url: "https://ijcai.org/proceedings/2005/134"
pdf: "https://ijcai.org/proceedings/2005/0134.pdf"
venue: "Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence"
year: 2005
pages: "370-374"
track: ""
keywords:
---

# Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach

Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider

*Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence*, pages 370-374.

## Abstract

Methods developed for the qualitative simulation of dynamical systems have turned out to be powerful tools for studying genetic regulatory networks. A bottleneck in the application of these methods is the analysis of the simulation results. In this paper, we propose a combination of qualitative simulation and model-checking techniques to perform this task systematically and efficiently. We apply our approach to the analysis of the complex network controlling the nutritional stress response in the bacterium Escherichia coli.