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.

Model Checking for Coalition Announcement Logic

Rustam Galimullin, Natasha Alechina, Hans van Ditmarsch. Model Checking for Coalition Announcement Logic. In Frank Trollmann, Anni-Yasmin Turhan, editors, KI 2018: Advances in Artificial Intelligence - 41st German Conference on AI, Berlin, Germany, September 24-28, 2018, Proceedings. Volume 11117 of Lecture Notes in Computer Science, pages 11-23, Springer, 2018. [doi]

Authors

Rustam Galimullin

This author has not been identified. Look up 'Rustam Galimullin' in Google

Natasha Alechina

This author has not been identified. Look up 'Natasha Alechina' in Google

Hans van Ditmarsch

This author has not been identified. Look up 'Hans van Ditmarsch' in Google
runs on