Przemyslaw Andrzej Walega, Michal Zawidzki, Christoph Haase. Computing All Facts Entailed By An LTL Specification. In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, editors, Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. pages 679-689, 2023. [doi]
@inproceedings{WalegaZH23,
title = {Computing All Facts Entailed By An LTL Specification},
author = {Przemyslaw Andrzej Walega and Michal Zawidzki and Christoph Haase},
year = {2023},
doi = {10.24963/kr.2023/66},
url = {https://doi.org/10.24963/kr.2023/66},
researchr = {https://researchr.org/publication/WalegaZH23},
cites = {0},
citedby = {0},
pages = {679-689},
booktitle = {Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023},
editor = {Pierre Marquis and Tran Cao Son and Gabriele Kern-Isberner},
isbn = {978-1-956792-02-7},
}