Skip to content
conftrace_

invariant synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

weakest pre-expectation (1) loop invariant (1) piecewise continuous function (1) probabilistic program (1) invariant learning (1) probabilistic programming (1)

Papers

Data-Driven Invariant Learning for Probabilistic Programs (Extended Abstract) IJCAI 2023