Skip to content
conftrace_

weakest pre-expectation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

loop invariant (1) invariant synthesis (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