Group synthesis for parametric temporal-epistemic logic. - Jones, AV; Knapik, M; Penczek, W; Lomuscio, A (IFAAMAS, 2012)