A Situation-Calculus Semantics for an Expressive Fragment of PDDL. - Jens Claßen; Yuxiao Hu 002; Gerhard Lakemeyer (AAAI, 2007)

A Correctness Result for Reasoning about One-Dimensional Planning Problems. - Yuxiao Hu 002; Hector J. Levesque (KR, 2010)

Generalized Planning: Synthesizing Plans that Work for Multiple Environments. - Yuxiao Hu 002; Giuseppe De Giacomo (IJCAI, 2011)

Goal-Based Composition of Stateful Services for Smart Homes. - Giuseppe De Giacomo; Claudio Di Ciccio; Paolo Felli; Yuxiao Hu 002; Massimo Mecella (OTM Conferences (1), 2012)

Generation and Verification of Plans with Loops. - Yuxiao Hu 002 (2012)

A Generic Technique for Synthesizing Bounded Finite-State Controllers. - Yuxiao Hu 002; Giuseppe De Giacomo (ICAPS, 2013)