TY  - RPRT
TI  - High-Quality Synthesis Against Stochastic Environments
AU  - Shaull Almagor
AU  - Orna Kupferman
PY  - 2016
UR  - https://arxiv.org/abs/1608.06567
ID  - 1608.06567
ER  -