Group synthesis for parametric temporal-epistemic logic.

Andrew V. Jones, Michal Knapik, Wojciech Penczek, Alessio Lomuscio

Browse the full AAMAS paper archive.