TY  - RPRT
TI  - Making Streett Determinization Tight
AU  - Cong Tian
AU  - Wensheng Wang
AU  - Zhenhua Duan
PY  - 2020
UR  - https://arxiv.org/abs/2006.16476
ID  - 2006.16476
ER  -