Statistical Model Checking of Black-Box Probabilistic Systems

By Koushik Sen, Mahesh Viswanathan, Gul A. Agha. International Conference on Computer Aided Verification, 2004

301 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/603d0c02cba940365f860e4bfabea1057a1fed4e

Citations in the corpus

• Statistical Model Checking: An Overview (2010, unknown): “The main approaches [38,32] proposed to answer the qualitative question are based on hypothesis testing.”
• Heuristics for Scalable Dynamic Test Generation (2008, unknown): “Statistical model checking techniques [30, 25] verify probabilistic models against probabilistic properties approximately within probabilistic error bounds.”