KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by
  1. Pierre Marquis,
  2. Magdalena Ortiz
  3. Maurice Pagnucco

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Verification of General Games with Imperfect Information Using Strategy Logic

  1. Yifan He(University of New South Wales)
  2. Munyque Mittelmann(University of Naples Federico II)
  3. Aniello Murano(University of Naples Federico II)
  4. Abdallah Saffidine(University of New South Wales)
  5. Michael Thielscher(University of New South Wales)

Bibtex record

@inproceedings{KR2024-40,
    title     = {{Verification of General Games with Imperfect Information Using Strategy Logic}},
    author    = {He, Yifan and Mittelmann, Munyque and Murano, Aniello and Saffidine, Abdallah and Thielscher, Michael},
    booktitle = {{Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {420--430},
    year      = {2024},
    month     = {8},
    doi       = {10.24963/kr.2024/40},
    url       = {https://doi.org/10.24963/kr.2024/40},
  }
Go back