@inproceedings{bib:Au22egrd,
    Author = {Tsz-Chiu Au},
    Booktitle = {Proceedings of the AAAI Conference on Artificial Intelligence (AAAI)},
    Title = {Extended Goal Recognition Design with First-Order Computation Tree Logic},
    Year = {2022},
}