Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
From MaRDI portal
Publication:3646252
DOI10.1007/978-3-642-04420-5_8zbMath1260.68226MaRDI 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 biology; abstract interpretation; probabilistic model checking; interval Markov chains; uncertain kinetic rates
68Q60: Specification and verification (program logics, model checking, etc.)
92C42: Systems biology, networks
68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)
Related Items
Three-valued abstraction for probabilistic systems, Probabilistic model checking of biological systems with uncertain kinetic rates
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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