Probabilistic Model Checking of Biological Systems with Uncertain Kinetic Rates (Q3646252): Difference between revisions

@@ Property / cites work @@
+Q4418589
@@ Property / cites work: Q4418589 / 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 @@
+Model Checking Software
@@ Property / cites work: Model Checking Software / rank @@
+Normal rank
@@ Property / cites work @@
+A delay differential equation model for tumor growth
+Normal rank
@@ Property / cites work @@
+Q4738778
@@ Property / cites work: Q4738778 / rank @@
+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 @@
+Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Q4798031
@@ Property / cites work: Q4798031 / rank @@
+Normal rank
@@ Property / cites work @@
+On finite-state approximants for probabilistic computation tree logic
+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 @@
+Abstract Interpretation of Cellular Signalling Networks
+Normal rank
@@ Property / cites work @@
+Abstract interpretation of programs as Markov decision processes
+Normal rank
@@ Property / cites work @@
+Model Checking Genetic Regulatory Networks with Parameter Uncertainty
+Normal rank
@@ Property / cites work @@
+The metabolic algorithm for P systems: principles and applications
+Normal rank
@@ Property / cites work @@
+Model Revision from Temporal Logic Properties in Computational Systems Biology
+Normal rank
@@ Property / cites work @@
+Parametric probabilistic transition systems for system design and analysis
+Normal rank
@@ Property / cites work @@
+Three-Valued Abstraction for Continuous-Time Markov Chains
+Normal rank
@@ Property / cites work @@
+Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
+Normal rank