A General Framework for Probabilistic Characterizing Formulae.

Joshua Sack, Lijun Zhang

Browse the full VMCAI paper archive.