Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (Q2238218): Difference between revisions

Latest revision as of 15:09, 17 December 2024

scientific article

Language	Label	Description	Also known as
English	Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models	scientific article

Statements

instance of

scholarly article

0 references

title

Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models (English)

0 references

0 references

0 references

0 references

Theoretical Computer Science

0 references

publication date

1 November 2021

0 references

zbMATH Keywords

statistical model checking

0 references

time-bounded reachability

0 references

Markov population models

0 references

chemical reaction networks

0 references

Bayesian inference

0 references

approximate Bayesian computation

0 references

HASL

0 references

linear hybrid automata

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1016/j.tcs.2021.09.039

0 references

cites work

Q4453502

0 references

Reachability design through approximate Bayesian computation

0 references

Stochastic Model Checking

0 references

Computer Aided Verification

0 references

Statistical probabilistic model checking with a focus on time-bounded properties

0 references

Q5322945

0 references

Smoothed model checking for uncertain continuous-time Markov chains

0 references

Bayesian statistical parameter synthesis for linear temporal properties of stochastic models

0 references

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

0 references

A logic for reasoning about time and reliability

0 references

Computer Aided Verification

0 references

Robust Satisfaction of Temporal Logic over Real-Valued Signals

0 references

Approximate Bayesian computational methods

0 references

On optimal selection of summary statistics for approximate Bayesian computation

0 references

Adaptive approximate Bayesian computation

0 references

Sequential Monte Carlo Samplers

0 references

Q4727203

0 references

Q4571705

0 references

Beta kernel estimators for density functions

0 references

Nonparametric density estimation for multivariate bounded data

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

0 references

10.1016/J.TCS.2021.09.039

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2238218

@@ Property / DOI @@
-.1016/j.tcs.2021.09.039
@@ Property / DOI: 10.1016/j.tcs.2021.09.039 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+StochKit
@@ Property / describes a project that uses: StochKit / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ymer
@@ Property / describes a project that uses: Ymer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+StochKit2
@@ Property / describes a project that uses: StochKit2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Storm
@@ Property / describes a project that uses: Storm / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2021.09.039
+Normal rank
@@ Property / OpenAlex ID @@
+W3203548977
@@ Property / OpenAlex ID: W3203548977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4453502
@@ Property / cites work: Q4453502 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability design through approximate Bayesian computation
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical probabilistic model checking with a focus on time-bounded properties
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Smoothed model checking for uncertain continuous-time Markov chains
+Normal rank
@@ Property / cites work @@
+Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Approximate Bayesian computational methods
@@ Property / cites work: Approximate Bayesian computational methods / rank @@
+Normal rank
@@ Property / cites work @@
+On optimal selection of summary statistics for approximate Bayesian computation
+Normal rank
@@ Property / cites work @@
+Adaptive approximate Bayesian computation
@@ Property / cites work: Adaptive approximate Bayesian computation / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential Monte Carlo Samplers
@@ Property / cites work: Sequential Monte Carlo Samplers / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727203
@@ Property / cites work: Q4727203 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4571705
@@ Property / cites work: Q4571705 / rank @@
+Normal rank
@@ Property / cites work @@
+Beta kernel estimators for density functions
@@ Property / cites work: Beta kernel estimators for density functions / rank @@
+Normal rank
@@ Property / cites work @@
+Nonparametric density estimation for multivariate bounded data
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2021.09.039
@@ Property / DOI: 10.1016/J.TCS.2021.09.039 / rank @@
+Normal rank