Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Verification of Broadcasting Multi-Agent Systems against an Epistemic Strategy Logic. In Carles Sierra, editor, Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, IJCAI 2017, Melbourne, Australia, August 19-25, 2017. pages 91-97, ijcai.org, 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