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

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)

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

(14)

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

Describes a project that uses

Uses Software

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

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)