%0 Journal Article %1 journals/corr/abs-2102-09837 %A Hofmann, Till %A Lakemeyer, Gerhard %D 2021 %J CoRR %K dblp %T Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. %U http://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-09837 %V abs/2102.09837

@article{journals/corr/abs-2102-09837, added-at = {2021-02-24T00:00:00.000+0100}, author = {Hofmann, Till and Lakemeyer, Gerhard}, biburl = {https://www.bibsonomy.org/bibtex/214fc82f28bcdc2ee4007a2fb479711fa/dblp}, ee = {https://arxiv.org/abs/2102.09837}, interhash = {fb86f7e50f9b8bb33ee9db5e382d9619}, intrahash = {14fc82f28bcdc2ee4007a2fb479711fa}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T21:54:40.000+0200}, title = {Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-09837}, volume = {abs/2102.09837}, year = 2021 }