TY  - RPRT
TI  - Synthesis of Infinite-State Systems with Random Behavior
AU  - Andreas Katis
AU  - Grigory Fedyukovich
AU  - Jeffrey Chen
AU  - David Greve
AU  - Sanjai Rayadurgam
AU  - Michael W. Whalen
PY  - 2020
DO  - 10.1145/3324884.3416586
UR  - https://arxiv.org/abs/2009.12330
ID  - 2009.12330
ER  -