KR2026Proceedings of the 23rd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning

Lisbon, Portugal. July 20-23, 2026.

Edited by
  1. Renata Wassermann
  2. Marie-Laure Mugnier
  3. Franz Baader

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

Sponsored by
Published by

Copyright © 2026 International Joint Conferences on Artificial Intelligence Organization

Specifying Agent Strategy Spaces via LTL Synthesis

  1. Benjamin Aminof(Technical University of Vienna, Austria)
  2. Giuseppe De Giacomo(University of Oxford, UK)
  3. Aniello Murano(University of Naples “Federico II’, Italy)
  4. Sasha Rubin(University of Sydney, Australia)

Bibtex record

@inproceedings{KR2026-4,
    title     = {{Specifying Agent Strategy Spaces via LTL Synthesis}},
    author    = {Aminof, Benjamin and De Giacomo, Giuseppe and Murano, Aniello and Rubin, Sasha},
    booktitle = {{Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {36--45},
    year      = {2026},
    month     = {7},
    doi       = {10.24963/kr.2026/4},
    url       = {https://doi.org/10.24963/kr.2026/4},
  }
Go back