conftrace_

sound abstraction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

trajectory constraint (1) program decomposition (1) situation calculus (1) abstraction framework (1) action theory (1) generalized planning (1) graphical model (1) probabilistic programming (1) approximate inference (1)

Papers

A Uniform Abstraction Framework for Generalized Planning IJCAI 2021 Sound Abstraction and Decomposition of Probabilistic Programs ICML 2018