Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (Logical Methods in Computer Science, 2008)