{"_id":"Bm2Lyr6CNGPfXDFSr","bibbaseid":"viehmann-hofmann-lakemeyer-transformingroboticplanswithtimedautomatatosolvetemporalplatformconstraints-2021","author_short":["Viehmann, T.","Hofmann, T.","Lakemeyer, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Tarik"],"propositions":[],"lastnames":["Viehmann"],"suffixes":[]},{"firstnames":["Till"],"propositions":[],"lastnames":["Hofmann"],"suffixes":[]},{"firstnames":["Gerhard"],"propositions":[],"lastnames":["Lakemeyer"],"suffixes":[]}],"booktitle":"IJCAI","keywords":"WP5,A-level","pages":"2083–2089","publisher":"ijcai.org","title":"Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints","year":"2021","bibtex":"@inproceedings{DBLP:conf/ijcai/ViehmannHL21,\n author = {Tarik Viehmann and\nTill Hofmann and\nGerhard Lakemeyer},\n booktitle = {{IJCAI}},\n keywords = {WP5,A-level},\n pages = {2083--2089},\n publisher = {ijcai.org},\n title = {Transforming Robotic Plans with Timed Automata to Solve Temporal Platform\nConstraints},\n year = {2021}\n}\n\n","author_short":["Viehmann, T.","Hofmann, T.","Lakemeyer, G."],"key":"DBLP:conf/ijcai/ViehmannHL21","id":"DBLP:conf/ijcai/ViehmannHL21","bibbaseid":"viehmann-hofmann-lakemeyer-transformingroboticplanswithtimedautomatatosolvetemporalplatformconstraints-2021","role":"author","urls":{},"keyword":["WP5","A-level"],"metadata":{"authorlinks":{}},"downloads":9},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/tailor-publications.github.io/master/tailor.bib","dataSources":["dqRQPSg6Hy3ZXQg7z","wMCdMNmiucDu2pMmz","9fesATq77fFWtSPuB","5fDj6rXeRevQyZND4","TxReNv8mFMbHT3GnN","P2RLsqAnkwjGHmpeQ","zp5TdwDdbpGvos9cF"],"keywords":["wp5","a-level"],"search_terms":["transforming","robotic","plans","timed","automata","solve","temporal","platform","constraints","viehmann","hofmann","lakemeyer"],"title":"Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints","year":2021,"downloads":9}