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.

Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems

Ramesh Yenda, M. V. Panduranga Rao. Short Duration Aggregate Statistical Model Checking for Multi-Agent Systems. In Takahiro Uchiya, Quan Bai, Iván Marsá-Maestre, editors, PRIMA 2020: Principles and Practice of Multi-Agent Systems - 23rd International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings. Volume 12568 of Lecture Notes in Computer Science, pages 420-427, Springer, 2020. [doi]

Authors

Ramesh Yenda

This author has not been identified. Look up 'Ramesh Yenda' in Google

M. V. Panduranga Rao

This author has not been identified. Look up 'M. V. Panduranga Rao' in Google
runs on