Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations.

Lijun Zhang, Holger Hermanns, Friedrich Eisenbrand, David N. Jansen

Browse the full TACAS paper archive.