{"about":{"site":"https://codewithpapers.app","non_affiliation":"Code with Papers and Syntology are not affiliated with, endorsed by, or sponsored by Papers with Code, Meta, or the pwc-archive mirror.","licence":"CC BY-SA 4.0","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","attribution":"https://codewithpapers.app/attribution","modified":"archive material modified by Syntology; see the attribution page"},"url":"/paper/bayesian-verification-under-model-uncertainty","title":"Bayesian Verification under Model Uncertainty","arxiv_id":"1702.08725","date":"2017-02-28","proceeding":null,"authors":["Lenz Belzner","Thomas Gabor"],"abstract":"Machine learning enables systems to build and update domain models based on\nruntime observations. In this paper, we study statistical model checking and\nruntime verification for systems with this ability. Two challenges arise: (1)\nModels built from limited runtime data yield uncertainty to be dealt with. (2)\nThere is no definition of satisfaction w.r.t. uncertain hypotheses. We propose\nsuch a definition of subjective satisfaction based on recently introduced\nsatisfaction functions. We also propose the BV algorithm as a Bayesian solution\nto runtime verification of subjective satisfaction under model uncertainty. BV\nprovides user-definable stochastic bounds for type I and II errors. We discuss\nempirical results from an example application to illustrate our ideas.","url_abs":"http://arxiv.org/abs/1702.08725v1","url_pdf":"http://arxiv.org/pdf/1702.08725v1.pdf","source":{"archive":"pwc-archive (Hugging Face), CC BY-SA 4.0","snapshot":"2025-07-28","licence_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","row_kind":"abstracts"},"code_links":[{"paper_slug":"bayesian-verification-under-model-uncertainty","repo_url":"https://github.com/jazzbob/bv","is_official":1,"mentioned_in_paper":1,"mentioned_in_github":1,"framework":"none","reach":null}],"tasks":[{"task_slug":"model","task_name":"model"}],"methods":[],"datasets_introduced":[],"methods_introduced":[],"results":[],"syntology":{"atlas_url":null,"mcp":null,"developers":"https://syntology.ai/developers"},"arxiv_metadata":null,"syntology_extracted_results":null}