An LTL Model Checking Approach for Biological Parameter Inference

Abstract : The identification of biological parameters governing dynamics of Genetic Regulatory Networks (GRN) poses a problem of com-binatorial explosion, since the possibilities of parameter instantiation are numerous even for small networks. In this paper, we propose to adapt LTL model checking algorithms to infer biological parameters from biological properties given as LTL formulas. In order to reduce the combinatorial explosion, we represent all the dynamics with one parametric model, so that all GRN dynamics simply result from all eligible parameter instantiations. LTL model checking algorithms are adapted by postponing the parameter instantiation as far as possible. Our approach is implemented within the SPuTNIk tool.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download
Contributor : Paolo Ballarini <>
Submitted on : Thursday, June 21, 2018 - 9:43:54 AM
Last modification on : Thursday, February 7, 2019 - 5:55:12 PM
Long-term archiving on : Monday, September 24, 2018 - 2:10:30 PM


Files produced by the author(s)


  • HAL Id : hal-01819841, version 1



E Gallet, M Manceny, P Le Gall, Paolo Ballarini. An LTL Model Checking Approach for Biological Parameter Inference. International Conference on Formal Engineering Methods, Nov 2014, Luxembourg, Luxembourg. ⟨hal-01819841⟩



Record views


Files downloads