TY - RPRT TI - The complexity of approximations for epistemic synthesis (extended abstract) AU - Xiaowei Huang AU - Ron van der Meyden PY - 2016 DO - 10.4204/eptcs.202.9 UR - https://arxiv.org/abs/1602.01176 ID - 1602.01176 ER -