Model Revision from Temporal Logic Properties in Computational Systems Biology

DOI10.1007/978-3-540-78652-8_11zbMath1137.68534OpenAlexW1533895412MaRDI QIDQ5452030

François Fages, Sylvain Soliman

Publication date: 28 March 2008

Published in: Probabilistic Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78652-8_11

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Biochemistry, molecular biology (92C40) Logic programming (68N17)

Related Items (3)

From Quantitative SBML Models to Boolean Networks ⋮ A generic framework to coarse-grain stochastic reaction networks by abstract interpretation ⋮ Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates

Uses Software

• NuSMV
• BIOCHAM

Cites Work

• Unnamed Item
• Unnamed Item
• Modeling and querying biomolecular interaction networks
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• Model Checking Software
• Brane Calculi

This page was built for publication: Model Revision from Temporal Logic Properties in Computational Systems Biology