@InProceedings{PTHH20,
author={Kittiphon Phalakarn and Toru Takisaka and Thomas Haas and Ichiro Hasuo
},
title={Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic Games},
booktitle={Proc. 32nd International Conference on Computer Aided Verification (CAV'20)},
year={2020},

editors={},
pages={349--371},
organization={},
publisher={Springer},
series={LNCS},
volume={12225},
address={},
month={},
note={},
key={}
}