Data-Driven Invariant Learning for Probabilistic Programs

DOI10.1007/978-3-031-13185-1_3zbMath1514.68026MaRDI QIDQ6487311

Subhajit Roy, Unnamed Author, Unnamed Author, Justin Hsu, Jialu Bao

Publication date: 7 December 2022

Mathematics Subject Classification ID

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

This page was built for publication: Data-Driven Invariant Learning for Probabilistic Programs