ML Anthology

Liebenberg, Martin

1 publications

AAAI 2014 Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß