Publication

[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: bib