Automatic Verification of Partial Correctness of Golog Programs.

Naiqi Li, Yongmei Liu

Browse the full IJCAI paper archive.