External Links

Cite Key

Statistics

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

PDF

Tags

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.

Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems

Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza. Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems. In Kishan G. Mehrotra, Chilukuri K. Mohan, Jae C. Oh, Pramod K. Varshney, Moonis Ali, editors, Modern Approaches in Applied Intelligence - 24th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2011, Syracuse, NY, USA, June 28 - July 1, 2011, Proceedings, Part II. Volume 6704 of Lecture Notes in Computer Science, pages 68-78, Springer, 2011. [doi]

Authors

Wei Wan

This author has not been identified. Look up 'Wei Wan' in Google

Jamal Bentahar

This author has not been identified. Look up 'Jamal Bentahar' in Google

Abdessamad Ben Hamza

This author has not been identified. Look up 'Abdessamad Ben Hamza' in Google
runs on