Group synthesis for parametric temporal-epistemic logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Andrew V. Jones' in GoogleThis author has not been identified. Look up 'Michal Knapik' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in GoogleThis author has not been identified. Look up 'Alessio Lomuscio' in Google

runs on WebDSL