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.

STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions

Damian Kurpiewski, Witold Pazderski, Wojciech Jamroga, Yan Kim. STV+Reductions: Towards Practical Verification of Strategic Ability Using Model Reductions. In Frank Dignum, Alessio Lomuscio, Ulle Endriss, Ann Nowé, editors, AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021. pages 1770-1772, ACM, 2021. [doi]

Authors

Damian Kurpiewski

This author has not been identified. Look up 'Damian Kurpiewski' in Google

Witold Pazderski

This author has not been identified. Look up 'Witold Pazderski' in Google

Wojciech Jamroga

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

Yan Kim

This author has not been identified. Look up 'Yan Kim' in Google
runs on