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

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis

  1. Daniel Hausmann(University of Liverpool)
  2. Shufang Zhu(University of Liverpool)
  3. Gianmarco Parretti(Sapienza Università di Roma)
  4. Christoph Weinhuber(University of Oxford)
  5. Giuseppe De Giacomo(University of Oxford, Sapienza Università di Roma)
  6. Nir Piterman(University of Gothenburg, Chalmers University of Technology)

Bibtex record

@inproceedings{KR2025-78,
    title     = {{Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis}},
    author    = {Hausmann, Daniel and Zhu, Shufang and Parretti, Gianmarco and Weinhuber, Christoph and De Giacomo, Giuseppe and Piterman, Nir},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {810--820},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/78},
    url       = {https://doi.org/10.24963/kr.2025/78},
  }
Go back