Decidable Verification of Golog Programs over Non-Local Effect Actions.

Benjamin Zarrie, Jens Claen

Browse the full AAAI paper archive.