Generating Plans in Concurrent, Probabilistic, Over-Subscribed Domains