Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio. Group synthesis for parametric temporal-epistemic logic. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, editors, International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes). pages 1107-1114, IFAAMAS, 2012. [doi]
Abstract is missing.