Probabilistic Program Abstractions
Probabilistic inference in hybrid domains by weighted model integration