External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decidable Verification of Multi-agent Systems with Bounded Private Actions

Francesco Belardinelli, Alessio Lomuscio, Aniello Murano, Sasha Rubin. Decidable Verification of Multi-agent Systems with Bounded Private Actions. In Elisabeth André, Sven Koenig, Mehdi Dastani, Gita Sukthankar, editors, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018. pages 1865-1867, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, 2018. [doi]

Authors

Francesco Belardinelli

This author has not been identified. Look up 'Francesco Belardinelli' in Google

Alessio Lomuscio

This author has not been identified. Look up 'Alessio Lomuscio' in Google

Aniello Murano

This author has not been identified. Look up 'Aniello Murano' in Google

Sasha Rubin

This author has not been identified. Look up 'Sasha Rubin' in Google
runs on