Probabilistic model checking of biological systems with uncertain kinetic rates

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

zbMATH Keywords

systems biology; abstract interpretation; interval Markov chains; tumor cell growth

Mathematics Subject Classification ID

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

• PRISM
• PASS
• CEGAR

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