A formal approach for tuning stochastic oscillators (Q6118950): Difference between revisions

@@ Property / cites work @@
+Analyzing Oscillatory Behavior with Formal Methods
+Normal rank
@@ Property / cites work @@
+Query-based verification of qualitative trends and oscillations in biochemical systems
+Normal rank
@@ Property / cites work @@
+Applications of an expressive statistical model checking approach to the analysis of genetic circuits
+Normal rank
@@ Property / cites work @@
+Analysing Biochemical Oscillation through Probabilistic Model Checking
+Normal rank
@@ Property / cites work @@
+Adaptive approximate Bayesian computation
@@ Property / cites work: Adaptive approximate Bayesian computation / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability design through approximate Bayesian computation
+Normal rank
@@ Property / cites work @@
+Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
+Normal rank
@@ Property / cites work @@
+Smoothed model checking for uncertain continuous-time Markov chains
+Normal rank
@@ Property / cites work @@
+Modeling and querying biomolecular interaction networks
+Normal rank
@@ Property / cites work @@
+An adaptive sequential Monte Carlo method for approximate Bayesian computation
+Normal rank
@@ Property / cites work @@
+Stochastic oscillators in biology: introduction to the special issue
+Normal rank
@@ Property / cites work @@
+Approximate Bayesian computational methods
@@ Property / cites work: Approximate Bayesian computational methods / rank @@
+Normal rank
@@ Property / cites work @@
+ABC(SMC)\textsuperscript{2}: simultaneous inference and model checking of chemical reaction networks
+Normal rank
@@ Property / cites work @@
+Handbook of Approximate Bayesian Computation
@@ Property / cites work: Handbook of Approximate Bayesian Computation / rank @@
+Normal rank