KR2022Proceedings of the 19th International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning

Haifa, Israel. July 31–August 5, 2022.

Edited by

ISSN: 2334-1033
ISBN: 978-1-956792-01-0

Sponsored by
Published by

Copyright © 2022 International Joint Conferences on Artificial Intelligence Organization

Verification and Realizability in Finite-Horizon Multiagent Systems

  1. Senthil Rajasekaran(Rice University)
  2. Moshe Y. Vardi(Rice University)

Bibtex record

@inproceedings{KR2022-28,
    title     = {{Verification and Realizability in Finite-Horizon Multiagent Systems}},
    author    = {Rajasekaran, Senthil and Vardi, Moshe Y.},
    booktitle = {{Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {278--287},
    year      = {2022},
    month     = {8},
    doi       = {10.24963/kr.2022/28},
    url       = {https://doi.org/10.24963/kr.2022/28},
  }