Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A survey of statistical model checking - MaRDI portal

A survey of statistical model checking

From MaRDI portal

Publication:6583725

Jump to:navigation, search

DOI10.1145/3158668zbMath1542.68091MaRDI QIDQ6583725

Gul A. Agha, Karl Palmskog

Publication date: 6 August 2024

Published in: ACM Transactions on Modeling and Computer Simulation (Search for Journal in Brave)

zbMATH Keywords

estimation simulation hypothesis testing temporal logic statistical model checking

Mathematics Subject Classification ID

Parametric hypothesis testing (62F03) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Temporal logic (03B44) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: A survey of statistical model checking

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6583725&oldid=40121528"