On Uniformly Sampling Traces of a Transition System.

Supratik Chakraborty, Aditya A. Shrotri, Moshe Y. Vardi

Browse the full ICCAD paper archive.