Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs.

Jens Claen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrie

Browse the full AAAI paper archive.