Probabilistic model checking of biological systems with uncertain kinetic rates (Q764350): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2011.10.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2171367656
@@ Property / OpenAlex ID: W2171367656 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+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
+Normal rank
@@ Property / cites work @@
+Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates
+Normal rank
@@ Property / cites work @@
+On process rate semantics
@@ Property / cites work: On process rate semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Verification of infinite-state dynamic systems using approximate quotient transition systems
+Normal rank
@@ Property / cites work @@
+Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q5151035
@@ Property / cites work: Q5151035 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract Interpretation of Cellular Signalling Networks
+Normal rank
@@ Property / cites work @@
+Q4798031
@@ Property / cites work: Q4798031 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic CEGAR
@@ Property / cites work: Probabilistic CEGAR / rank @@
+Normal rank
@@ Property / cites work @@
+On finite-state approximants for probabilistic computation tree logic
+Normal rank
@@ Property / cites work @@
+Three-Valued Abstraction for Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Three-valued abstraction for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Game-Based Probabilistic Predicate Abstraction in PRISM
+Normal rank
@@ Property / cites work @@
+Q5001955
@@ Property / cites work: Q5001955 / rank @@
+Normal rank
@@ Property / cites work @@
+Interval-valued finite Markov chains
@@ Property / cites work: Interval-valued finite Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of programs as Markov decision processes
+Normal rank
@@ Property / cites work @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3416167
@@ Property / cites work: Q3416167 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete time Markov chains with interval probabilities
+Normal rank
@@ Property / cites work @@
+A delay differential equation model for tumor growth
+Normal rank