Probabilistic model checking of biological systems with uncertain kinetic rates
From MaRDI portal
Publication:764350
DOI10.1016/j.tcs.2011.10.022zbMath1234.92020MaRDI 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
60J20: Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.)
68Q42: Grammars and rewriting systems
92C42: Systems biology, networks
Related Items
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