Benjamin Aminof, Giuseppe De Giacomo, Sasha Rubin, Florian Zuleger. Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis. In Pierre Marquis, Magdalena Ortiz 0001, Maurice Pagnucco, editors, Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024. 2024. [doi]
@inproceedings{AminofGRZ24,
title = {Proper Linear-time Specifications of Environment Behaviors in Nondeterministic Planning and Reactive Synthesis},
author = {Benjamin Aminof and Giuseppe De Giacomo and Sasha Rubin and Florian Zuleger},
year = {2024},
doi = {10.24963/kr.2024/4},
url = {https://doi.org/10.24963/kr.2024/4},
researchr = {https://researchr.org/publication/AminofGRZ24},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024},
editor = {Pierre Marquis and Magdalena Ortiz 0001 and Maurice Pagnucco},
isbn = {978-1-956792-05-8},
}