Probabilistic model checking of biological systems with uncertain kinetic rates
From MaRDI portal
Publication:764350
DOI10.1016/j.tcs.2011.10.022zbMath1234.92020OpenAlexW2171367656MaRDI QIDQ764350
Roberto Barbuti, Paolo Milazzo, Francesca Levi, Guido Scatena
Publication date: 13 March 2012
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2011.10.022
Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Grammars and rewriting systems (68Q42) Systems biology, networks (92C42)
Related Items (3)
Unnamed Item ⋮ Applications of an expressive statistical model checking approach to the analysis of genetic circuits ⋮ Computation tree logic model checking based on possibility measures
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Three-valued abstraction for probabilistic systems
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- Discrete time Markov chains with interval probabilities
- A logic for reasoning about time and reliability
- A delay differential equation model for tumor growth
- Interval-valued finite Markov chains
- Membrane computing. An introduction.
- On process rate semantics
- 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
- Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
- Probabilistic CEGAR
- Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
- Verification of infinite-state dynamic systems using approximate quotient transition systems
- Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
- Game-Based Probabilistic Predicate Abstraction in PRISM
- Three-Valued Abstraction for Continuous-Time Markov Chains
- Abstract Interpretation of Cellular Signalling Networks
- Model Checking Software
- Tools and Algorithms for the Construction and Analysis of Systems
This page was built for publication: Probabilistic model checking of biological systems with uncertain kinetic rates
