Statistically sound verification and optimization for complex systems

DOI10.1007/978-3-319-11936-6_29MaRDI QIDQ3457812zbMATH OpenOpenAlexFDO

Authors Yan Zhang, Sriram Sankaranarayanan, Fabio Somenzi

Publication date 17 December 2015

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11936-6_29

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)

Recommendations

• Bayesian statistical parameter synthesis for linear temporal properties of stochastic models
• Compositional probabilistic verification through multi-objective model checking
• Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach
• Active model learning of stochastic reactive systems
• Probabilistic verification of a biodiesel production system using statistical model checking

Cites work

• A least-squares approximation of partial differential equations with high-dimensional random inputs
• Bayes Factors
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Computer Aided Verification
• Confidence bounds for statistical model checking of probabilistic hybrid systems
• Convex Approximations of Chance Constrained Programs
• scientific article; zbMATH DE number 1905115 (Why is no real title available?)
• Quantile regression.
• Robust convex optimization
• Sequential Tests of Statistical Hypotheses

Cited in

(2)

• Determining statistically optimal systems from successively applied accuracy criteria
• Multi-objective parameter synthesis in probabilistic hybrid systems

This page was built for publication: Statistically sound verification and optimization for complex systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3457812)