Au, Tsz-Chiu. 2022. “Extended Goal Recognition Design With First-Order Computation Tree Logic”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (9):9661-68. https://doi.org/10.1609/aaai.v36i9.21200.