[LiTVZ21] Synthesizing Good-Enough Strategies for LTLf Specifications Li, Y.; Turrini, A.; Vardi, M. Y. and Zhang, L. In IJCAI, pages 4144-4151, ijcai.org, 2021.
Downloads: bibURL: https://doi.org/10.24963/ijcai.2021/570