Synthesizing Good-Enough Strategies for LTLf Specifications.

Yong Li, Andrea Turrini, Moshe Y. Vardi, Lijun Zhang

Browse the full IJCAI paper archive.