On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.

Jens Claen, Gerhard Lakemeyer

Browse the full ECAI paper archive.