Extended Goal Recognition Design with First-Order Computation Tree Logic.

Tsz-Chiu Au

Browse the full AAAI paper archive.