Statistically Sound Verification and Optimization for Complex Systems

DOI10.1007/978-3-319-11936-6_29zbMath1448.68322OpenAlexW304725001MaRDI QIDQ3457812

Yan Zhang, Fabio Somenzi, Sriram Sankaranarayanan

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)

Related Items (1)

Multi-objective Parameter Synthesis in Probabilistic Hybrid Systems

Cites Work

• Unnamed Item
• Unnamed Item
• A least-squares approximation of partial differential equations with high-dimensional random inputs
• Bayesian statistical model checking with application to Stateflow/Simulink verification
• Robust Convex Optimization
• Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems
• Bayes Factors
• Computer Aided Verification
• Convex Approximations of Chance Constrained Programs
• Sequential Tests of Statistical Hypotheses

This page was built for publication: Statistically Sound Verification and Optimization for Complex Systems