ML Anthology

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
IJCAI 2005 pp. 370-375
/ijcai/2005/batt2005ijcai-analysis/

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. 1

PDF Semantic Scholar

Cite

Text

Batt et al. "Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach." International Joint Conference on Artificial Intelligence, 2005.

Markdown

[Batt et al. "Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach." International Joint Conference on Artificial Intelligence, 2005.](https://mlanthology.org/ijcai/2005/batt2005ijcai-analysis/)

BibTeX

@inproceedings{batt2005ijcai-analysis,
  title     = {{Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach}},
  author    = {Batt, Grégory and Ropers, Delphine and de Jong, Hidde and Geiselmann, Johannes and Mateescu, Radu and Page, Michel and Schneider, Dominique},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2005},
  pages     = {370-375},
  url       = {https://mlanthology.org/ijcai/2005/batt2005ijcai-analysis/}
}