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.

Verification of Stochastic Multi-Agent Systems with Forgetful Strategies

Francesco Belardinelli, Wojtek Jamroga, Munyque Mittelmann, Aniello Murano. Verification of Stochastic Multi-Agent Systems with Forgetful Strategies. In Mehdi Dastani, Jaime Simão Sichman, Natasha Alechina, Virginia Dignum, editors, Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024, Auckland, New Zealand, May 6-10, 2024. pages 160-169, ACM, 2024. [doi]

Authors

Francesco Belardinelli

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

Wojtek Jamroga

This author has not been identified. Look up 'Wojtek Jamroga' in Google

Munyque Mittelmann

This author has not been identified. Look up 'Munyque Mittelmann' in Google

Aniello Murano

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