Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach
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.
@inproceedings{ijcai2005p134,
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 = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {370--374},
year = {2005},
url = {https://ijcai.org/proceedings/2005/134},
}
TY - CPAPER TI - Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach AU - Batt, Grégory AU - Ropers, Delphine AU - de Jong, Hidde AU - Geiselmann, Johannes AU - Mateescu, Radu AU - Page, Michel AU - Schneider, Dominique T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 370 EP - 374 UR - https://ijcai.org/proceedings/2005/134 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
