BMC: An Efficient Method to Evaluate Probabilistic Reachability Queries.

Ke Zhu, Wenjie Zhang, Gaoping Zhu, Ying Zhang, Xuemin Lin

Browse the full DASFAA paper archive.