{"type":"ScholarlyArticle","title":"Automated Safety Verification of Posterior Distributions of Probabilistic Programs","authors":[{"name":"Kazuki Watanabe","slug":"kazuki-watanabe","given":"Kazuki","family":"Watanabe","affiliation":""},{"name":"Hiroshi Unno","slug":"hiroshi-unno","given":"Hiroshi","family":"Unno","affiliation":""}],"abstract":"Ensuring the safety of probabilistic systems is a central challenge in formal verification.\r\nWe propose an automated refinement technique for verifying a safety property of posterior distributions in probabilistic programs.\r\nOur approach builds on the counterexample-guided abstraction refinement (CEGAR) framework and exploits the duality in convex optimisation and the adequacy of predicate-transformer semantics in probabilistic settings.\r\nWe implement the technique and evaluate its effectiveness through preliminary experiments.","doi":"10.24963/ijcai.2026/91","url":"https://ijcai.org/proceedings/2026/91","pdf":"https://ijcai.org/proceedings/2026/0091.pdf","markdown":"https://ijcai.org/proceedings/2026/91.md","bibtex":"https://ijcai.org/proceedings/2026/bibtex/91","volume":{"slug":"2026","title":"Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2026","url":"https://ijcai.org/proceedings/2026/","year":2026,"location":"Bremen, Germany","dates":"15-21 August 2026","editors":"Diego Calvanese","isbn":"978-1-956792-09-6","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2026"},"section":"AI Ethics, Trust, Fairnes","track":"Main Track","number":91,"pages":{"first":807,"last":816},"keywords":["Constraint Satisfaction and Optimization: Constraint satisfaction","AI Ethics, Trust, Fairnes: Safety and robustness","Knowledge Representation and Reasoning: Automated reasoning and theorem proving","Constraint Satisfaction and Optimization: Solvers and tools","Constraint Satisfaction and Optimization: Satisfiabilty"],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}