KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by
  1. Pierre Marquis,
  2. Magdalena Ortiz
  3. Maurice Pagnucco

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

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis

  1. Benjamin Aminof(TU Wien)
  2. Giuseppe De Giacomo(Univ. Oxford, Univ Rome "La Sapienza")
  3. Sasha Rubin(The University of Sydney)
  4. Florian Zuleger(TU Wien)

Bibtex record

@inproceedings{KR2024-4,
    title     = {{Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis}},
    author    = {Aminof, Benjamin and De Giacomo, Giuseppe and Rubin, Sasha and Zuleger, Florian},
    booktitle = {{Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {38--48},
    year      = {2024},
    month     = {8},
    doi       = {10.24963/kr.2024/4},
    url       = {https://doi.org/10.24963/kr.2024/4},
  }
Go back