Automatic Verification of Golog Programs via Predicate Abstraction.

Peiming Mo, Naiqi Li, Yongmei Liu

Browse the full ECAI paper archive.