Publications by Patrick Koopmann
On the Complexity of Verifying Timed Golog Programs over Description Logic Actions
Workshop on Hybrid Reasoning and Learning (HRL 2018) (2018)
On the Complexity of Verifying Timed Golog Programs over Description Logic Actions
Workshop on Hybrid Reasoning and Learning (HRL 2018) (2018)