KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

LTL Synthesis Under Multi-Agent Environment Assumptions

  1. Benjamin Aminof(University of Rome “La Sapienza”, Italy)
  2. Giuseppe De Giacomo(University of Oxford, United Kingdom, University of Rome “La Sapienza”, Italy)
  3. Giuseppe Perelli(University of Rome “La Sapienza”, Italy)
  4. Sasha Rubin(The University of Sydney, Australia)

Bibtex record

@inproceedings{KR2025-69,
    title     = {{LTL Synthesis Under Multi-Agent Environment Assumptions}},
    author    = {Aminof, Benjamin and De Giacomo, Giuseppe and Perelli, Giuseppe and Rubin, Sasha},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {719--728},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/69},
    url       = {https://doi.org/10.24963/kr.2025/69},
  }
Go back