A Logic for Specifying Metric Temporal Constraints for Golog Programs. Hofmann, T. & Lakemeyer, G. In Proceedings of the 11th Cognitive Robotics Workshop 2018 (CogRob), Tempe, AZ, USA, 2018.
![A Logic for Specifying Metric Temporal Constraints for Golog Programs [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @inproceedings{hofmannLogicSpecifyingMetric2018,
address = {Tempe, AZ, USA},
author = {Hofmann, Till and Lakemeyer, Gerhard},
booktitle = {Proceedings of the 11th {{Cognitive Robotics Workshop}} 2018 ({{CogRob}})},
title = {A Logic for Specifying Metric Temporal Constraints for {{Golog}} Programs},
url = {https://kbsg.rwth-aachen.de/~hofmann/papers/timed-esg-cogrob18.pdf},
year = {2018}
}Downloads: 0
{"_id":"MrcDeJTkHB9wmHsqP","bibbaseid":"hofmann-lakemeyer-alogicforspecifyingmetrictemporalconstraintsforgologprograms-2018","author_short":["Hofmann, T.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Tempe, AZ, USA","author":[{"propositions":[],"lastnames":["Hofmann"],"firstnames":["Till"],"suffixes":[]},{"propositions":[],"lastnames":["Lakemeyer"],"firstnames":["Gerhard"],"suffixes":[]}],"booktitle":"Proceedings of the 11th Cognitive Robotics Workshop 2018 (CogRob)","title":"A Logic for Specifying Metric Temporal Constraints for Golog Programs","url":"https://kbsg.rwth-aachen.de/~hofmann/papers/timed-esg-cogrob18.pdf","year":"2018","bibtex":"@inproceedings{hofmannLogicSpecifyingMetric2018,\n address = {Tempe, AZ, USA},\n author = {Hofmann, Till and Lakemeyer, Gerhard},\n booktitle = {Proceedings of the 11th {{Cognitive Robotics Workshop}} 2018 ({{CogRob}})},\n title = {A Logic for Specifying Metric Temporal Constraints for {{Golog}} Programs},\n url = {https://kbsg.rwth-aachen.de/~hofmann/papers/timed-esg-cogrob18.pdf},\n year = {2018}\n}\n\n","author_short":["Hofmann, T.","Lakemeyer, G."],"key":"hofmannLogicSpecifyingMetric2018","id":"hofmannLogicSpecifyingMetric2018","bibbaseid":"hofmann-lakemeyer-alogicforspecifyingmetrictemporalconstraintsforgologprograms-2018","role":"author","urls":{"Paper":"https://kbsg.rwth-aachen.de/~hofmann/papers/timed-esg-cogrob18.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://ml.rwth-aachen.de/~till.hofmann/files/hofmann.bib","dataSources":["dqRQPSg6Hy3ZXQg7z","P2RLsqAnkwjGHmpeQ","zp5TdwDdbpGvos9cF"],"keywords":[],"search_terms":["logic","specifying","metric","temporal","constraints","golog","programs","hofmann","lakemeyer"],"title":"A Logic for Specifying Metric Temporal Constraints for Golog Programs","year":2018}