Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Francesco Belardinelli, Davide Grossi, Alessio Lomuscio. Finite Abstractions for the Verification of Epistemic Properties in Open Multi-Agent Systems. In Qiang Yang 0001, Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015. pages 854-860, AAAI Press, 2015. [doi]

This author has not been identified. Look up 'Francesco Belardinelli' in GoogleThis author has not been identified. Look up 'Davide Grossi' in GoogleThis author has not been identified. Look up 'Alessio Lomuscio' in Google

runs on WebDSL