Tsz-Chiu Au

2 papers · 2022–2024 · 1 conference · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (10)

Conferences

AAAI (2)

Keywords

goal recognition (2) temporal logic (1) model checking (1) search algorithm (1) search space (1) planning domain (1) goal recognition design (1) classical planning domain (1) block modification (1) hierarchical design space (1) pruning rule (1) first-order logic (1) hierarchical design (1)

Papers

Block-Level Goal Recognition Design AAAI 2024

Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022