{"type":"ScholarlyArticle","title":"Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach","authors":[{"name":"Grégory Batt","slug":"gregory-batt","given":"Grégory","family":"Batt","affiliation":""},{"name":"Delphine Ropers","slug":"delphine-ropers","given":"Delphine","family":"Ropers","affiliation":""},{"name":"Hidde de Jong","slug":"hidde-de-jong","given":"Hidde","family":"de Jong","affiliation":""},{"name":"Johannes Geiselmann","slug":"johannes-geiselmann","given":"Johannes","family":"Geiselmann","affiliation":""},{"name":"Radu Mateescu","slug":"radu-mateescu","given":"Radu","family":"Mateescu","affiliation":""},{"name":"Michel Page","slug":"michel-page","given":"Michel","family":"Page","affiliation":""},{"name":"Dominique Schneider","slug":"dominique-schneider","given":"Dominique","family":"Schneider","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2005/134","pdf":"https://ijcai.org/proceedings/2005/0134.pdf","markdown":"https://ijcai.org/proceedings/2005/134.md","bibtex":"https://ijcai.org/proceedings/2005/bibtex/134","volume":{"slug":"2005","title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2005","url":"https://ijcai.org/proceedings/2005/","year":2005,"location":"Edinburgh, Scotland, UK","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":134,"pages":{"first":370,"last":374},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}