Probabilistic model checking of biological systems with uncertain kinetic rates
type: Item
instance of: scholarly article
title: Probabilistic model checking of biological systems with uncertain kinetic rates
zbMATH Open document ID: 1234.92020
author: Roberto Barbuti
author: Francesca Levi
author: Paolo Milazzo
author: Guido Scatena
published in: Theoretical Computer Science
publication date: 2012-03-13T00:00:00Z
Mathematics Subject Classification ID: 92C42
Mathematics Subject Classification ID: 68Q42
Mathematics Subject Classification ID: 60J20
zbMATH DE Number: 6014329
zbMATH Keywords: systems biology
zbMATH Keywords: abstract interpretation
zbMATH Keywords: interval Markov chains
zbMATH Keywords: tumor cell growth
describes a project that uses: CEGAR
describes a project that uses: PASS
describes a project that uses: PRISM
MaRDI profile type: Publication
full work available at URL: j.tcs.2011.10.022
OpenAlex ID: W2171367656
cites work: Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
cites work: Q5322945
cites work: Q925313
cites work: Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
cites work: On process rate semantics
cites work: Verification of infinite-state dynamic systems using approximate quotient transition systems
cites work: Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
cites work: Q5151035
cites work: Abstract Interpretation of Cellular Signalling Networks
cites work: Q4798031
cites work: Model Checking Software
cites work: Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
cites work: A logic for reasoning about time and reliability
cites work: Probabilistic CEGAR
cites work: On finite-state approximants for probabilistic computation tree logic
cites work: Three-Valued Abstraction for Continuous-Time Markov Chains
cites work: Three-valued abstraction for probabilistic systems
cites work: Game-Based Probabilistic Predicate Abstraction in PRISM
cites work: Q5001955
cites work: Interval-valued finite Markov chains
cites work: Q4738778
cites work: Abstract interpretation of programs as Markov decision processes
cites work: Membrane computing. An introduction.
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q3416167
cites work: Discrete time Markov chains with interval probabilities
cites work: A delay differential equation model for tumor growth
DOI: 10.1016/J.TCS.2011.10.022
description: scientific article; zbMATH DE number 6014329