Model Revision from Temporal Logic Properties in Computational Systems Biology
From MaRDI portal
Publication:5452030
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
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
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