Verification of Multi-agent Systems with Imperfect Information and Public Actions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Verification of Multi-agent Systems with Imperfect Information and Public Actions. In Kate Larson, Michael Winikoff, Sanmay Das, Edmund Durfee, editors, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017. pages 1268-1276, ACM, 2017. [doi]

This author has not been identified. Look up 'Francesco Belardinelli' in GoogleThis author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Aniello Murano' in GoogleThis author has not been identified. Look up 'Sasha Rubin' in Google

runs on WebDSL