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