Refuting Equivalence in Probabilistic Programs with Conditioning.

Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotn, Dorde Zikelic

Browse the full TACAS paper archive.