Statistical verification of PCTL using antithetic and stratified samples

DOI10.1007/s10703-019-00339-8zbMath1425.68270OpenAlexW2971096715WikidataQ127330575 ScholiaQ127330575MaRDI QIDQ2335899

Nima Roohi, Mahesh Viswanathan, Matthew West, Yu Wang, Geir E. Dullerud

Publication date: 18 November 2019

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-019-00339-8

zbMATH Keywords

Markov chainsvariance reductiontemporal logicsequential probability ratio test

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (1)

State-based confidence bounds for data-driven stochastic reachability using Hilbert space embeddings

Uses Software

• PRISM
• VESTA
• Ymer

Cites Work

• Unnamed Item
• Variance-reduced simulation of lattice discrete-time Markov chains with applications in reaction networks
• One-sided confidence intervals in discrete distributions
• Monte Carlo strategies in scientific computing.
• Statistical probabilistic model checking with a focus on time-bounded properties
• Efficient CSL Model Checking Using Stratification
• Rare-event verification for stochastic hybrid systems
• Statistical verification of dynamical systems using set oriented methods
• Statistical Model Checking for Cyber-Physical Systems
• Computer Aided Verification
• Computer Aided Verification
• Computer Aided Verification

This page was built for publication: Statistical verification of PCTL using antithetic and stratified samples