Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
DOI10.1007/978-3-319-89963-3_23zbMATH Open1423.68322OpenAlexW2796919988MaRDI QIDQ2324239FDOQ2324239
Authors: Luca Bortolussi, Simone Silvetti 
Publication date: 16 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-89963-3_23
Recommendations
- Intrinsic Bayesian estimation of linear time series models
- Bayesian diffusion process models with time-varying parameters
- A Bayesian method of parameter identification and prediction of states of linear stationary dynamical systems
- scientific article; zbMATH DE number 2161548
- Bayesian analysis of stochastic process models
- scientific article; zbMATH DE number 3926777
- Bayesian estimation of time-varying parameters in ordinary differential equation models with noisy time-varying covariates
- A Bayes estimator of parameters of nonlinear dynamic systems
- Bayesian inference for nonlinear structural time series models
- scientific article; zbMATH DE number 46307
Learning and adaptive systems in artificial intelligence (68T05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60)
Cited In (14)
- Title not available (Why is that?)
- Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
- Active and sparse methods in smoothed model checking
- Parameter synthesis for Markov models: covering the parameter space
- The complexity of reachability in parametric Markov decision processes
- On the Complexity of Reachability in Parametric Markov Decision Processes
- A Bayesian method of parameter identification and prediction of states of linear stationary dynamical systems
- Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
- Statistically sound verification and optimization for complex systems
- Scenario-based verification of uncertain MDPs
- Sampling-Based Verification of CTMCs with Uncertain Rates
- Temporal logic verification of stochastic systems using barrier certificates
- Data-efficient Bayesian verification of parametric Markov chains
- Parameter synthesis in Markov models: a gentle survey
Uses Software
This page was built for publication: Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2324239)
