Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
Publication:3646252
DOI10.1007/978-3-642-04420-5_8zbMath1260.68226OpenAlexW3030962294MaRDI QIDQ3646252
Roberto Barbuti, Paolo Milazzo, Guido Scatena, Francesca Levi
Publication date: 19 November 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04420-5_8
systems biologyabstract interpretationprobabilistic model checkinginterval Markov chainsuncertain kinetic rates
Specification and verification (program logics, model checking, etc.) (68Q60) Systems biology, networks (92C42) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (2)
Uses Software
Cites Work
- Parametric probabilistic transition systems for system design and analysis
- The metabolic algorithm for P systems: principles and applications
- A logic for reasoning about time and reliability
- A delay differential equation model for tumor growth
- Interval-valued finite Markov chains
- Abstract interpretation of programs as Markov decision processes
- Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
- On finite-state approximants for probabilistic computation tree logic
- Model Checking Genetic Regulatory Networks with Parameter Uncertainty
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
- Three-Valued Abstraction for Continuous-Time Markov Chains
- Model Revision from Temporal Logic Properties in Computational Systems Biology
- Abstract Interpretation of Cellular Signalling Networks
- Model Checking Software
- Tools and Algorithms for the Construction and Analysis of Systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates