T.-C. Au, “Extended Goal Recognition Design with First-Order Computation Tree Logic”, AAAI, vol. 36, no. 9, pp. 9661-9668, Jun. 2022.