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 General Games with Imperfect Information Using Strategy Logic

Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher. Verification of General Games with Imperfect Information Using Strategy Logic. In Pierre Marquis, Magdalena Ortiz 0001, Maurice Pagnucco, editors, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024. 2024. [doi]

Authors

Yifan He

This author has not been identified. Look up 'Yifan He' 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

Abdallah Saffidine

This author has not been identified. Look up 'Abdallah Saffidine' in Google

Michael Thielscher

This author has not been identified. Look up 'Michael Thielscher' in Google
runs on