Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
From MaRDI portal
Publication:2324239
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
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
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
