Bayesian statistical parameter synthesis for linear temporal properties of stochastic models

DOI10.1007/978-3-319-89963-3_23zbMath1423.68322OpenAlexW2796919988MaRDI QIDQ2324239

Simone Silvetti, Luca Bortolussi

Publication date: 16 September 2019

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) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (7)

Scenario-Based Verification of Uncertain MDPs ⋮ Active and sparse methods in smoothed model checking ⋮ The complexity of reachability in parametric Markov decision processes ⋮ Parameter synthesis in Markov models: a gentle survey ⋮ Sampling-Based Verification of CTMCs with Uncertain Rates ⋮ On the Complexity of Reachability in Parametric Markov Decision Processes ⋮ Automaton-ABC: a statistical method to estimate the probability of spatio-temporal properties for parametric Markov population models

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