Au, T.-C. Extended Goal Recognition Design With First-Order Computation Tree Logic. AAAI 2022, 36, 9661-9668.