Bayesian statistical parameter synthesis for linear temporal properties of stochastic models

DOI10.1007/978-3-319-89963-3_23MaRDI QIDQ2324239zbMATH OpenOpenAlexFDO

Authors Luca Bortolussi, Simone Silvetti

Publication date 16 September 2019

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-89963-3_23

zbMATH Keywords

Gaussian processesparameter synthesisparametric verificationsmoothed model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Learning and adaptive systems in artificial intelligence (68T05)

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

Cited in

(15)

• A Bayesian method of parameter identification and prediction of states of linear stationary dynamical systems
• Data-efficient Bayesian verification of parametric Markov chains
• Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models
• The complexity of reachability in parametric Markov decision processes
• scientific article; zbMATH DE number 6607899 (Why is no real title available?)
• Statistically sound verification and optimization for complex systems
• Scenario-based verification of uncertain MDPs
• Synthesis and infeasibility analysis for stochastic models of biochemical systems using statistical model checking and abstraction refinement
• On the Complexity of Reachability in Parametric Markov Decision Processes
• Temporal logic verification of stochastic systems using barrier certificates
• Parameter synthesis in Markov models: a gentle survey
• Sampling-Based Verification of CTMCs with Uncertain Rates
• Parameter synthesis for Markov models: covering the parameter space
• Scalable and reliable stochastic parametric verification with stochastic variational smoothed model checking
• Active and sparse methods in smoothed model checking

Describes a project that uses

Uses Software

• PRISM
• PRISM-PSY
• PROPhESY
• Numba
• Python

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)