Content: Publications

Publications by Patrick Koopmann

Patrick Koopmann, Benjamin ZarrieƟ

On the Complexity of Verifying Timed Golog Programs over Description Logic Actions

Workshop on Hybrid Reasoning and Learning (HRL 2018) (2018)