Automatic Verification of Liveness Properties in the Situation Calculus.

Jian Li, Yongmei Liu

Browse the full AAAI paper archive.