Data-driven invariant learning for probabilistic programs

DOI10.1007/S10703-024-00466-XMaRDI QIDQ6938563zbMATH OpenFDO

Authors Jialu Bao, Justin Hsu, Subhajit Roy

Publication date 25 August 2025

Published in Formal Methods in System Design (Search for Journal in Brave)

zbMATH Keywords

probabilistic programsdata-driven invariant learningweakest pre-expectations

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

This page was built for publication: Data-driven invariant learning for probabilistic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6938563)