Randomized OBDDs and the Model Checking (1998)

by M Karpinski
Venue:Proc. Probabilistic Methods in Verification, PROBMIV'98