FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Data-Driven Invariant Learning for Probabilistic Programs

Authors: Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu and Subhajit Roy

Paper Information

Title:Data-Driven Invariant Learning for Probabilistic Programs
Authors:Jialu Bao, Nitesh Trivedi, Drashti Pathak, Justin Hsu and Subhajit Roy
Proceedings:CAV 2022 All Papers
Editors: Yakir Vizel, Sharon Shoham and Hari Govind Vediramana Krishnan
Keywords:Probabilistic programs, Data-driven invariant learning, Weakest pre-expectations
Pages:21
Talk:Aug 07 09:00 (Session 85A: Formal Methods for Probabilistic Programs)
Paper: