Flow faster: Efficient decision algorithms for probabilistic simulations. In (2007)

by L Zhang, H Hermanns, F Eisenbrand, D N Jansen
Venue:TACAS,