KR2023Proceedings of the 20th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning

Rhodes, Greece. September 2-8, 2023.

Edited by
  1. Pierre Marquis,
  2. Tran Cao Son
  3. Gabriele Kern-Isberner

ISSN: 2334-1033
ISBN: 978-1-956792-02-7

Sponsored by
Published by

Copyright © 2023 International Joint Conferences on Artificial Intelligence Organization

Practical Abstraction for Model Checking of Multi-Agent Systems

  1. Wojciech Jamroga(Interdisciplinary Centre for Security, Reliability, and Trust, SnT, University of Luxembourg, Institute of Computer Science, Polish Academy of Science)
  2. Yan Kim(Interdisciplinary Centre for Security, Reliability, and Trust, SnT, University of Luxembourg)

Bibtex record

@inproceedings{KR2023-38,
    title     = {{Practical Abstraction for Model Checking of Multi-Agent Systems}},
    author    = {Jamroga, Wojciech and Kim, Yan},
    booktitle = {{Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {384--394},
    year      = {2023},
    month     = {8},
    doi       = {10.24963/kr.2023/38},
    url       = {https://doi.org/10.24963/kr.2023/38},
  }
Go back