{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:05:21Z","timestamp":1740099921529,"version":"3.37.3"},"reference-count":50,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,24]],"date-time":"2020-10-24T00:00:00Z","timestamp":1603497600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,10,24]]},"DOI":"10.1109\/iros45743.2020.9341666","type":"proceedings-article","created":{"date-parts":[[2021,2,13]],"date-time":"2021-02-13T02:26:48Z","timestamp":1613183208000},"page":"4040-4046","source":"Crossref","is-referenced-by-count":2,"title":["Automatic Synthesis of Human Motion from Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Althoff","sequence":"first","affiliation":[]},{"given":"Matthias","family":"Mayer","sequence":"additional","affiliation":[]},{"given":"Robert","family":"Muller","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-018-2560-2"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1186822.1073314"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.1145\/3306346.3322966","article-title":"Synthesis of biologically realistic human motion using joint torque actuation","volume":"38","author":"jiang","year":"2019","journal-title":"ACM Transactions on Graphics"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/1015706.1015754"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/882262.882286"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/3267851.3267867"},{"key":"ref36","doi-asserted-by":"crossref","DOI":"10.1145\/3197517.3201311","article-title":"DeepMimic: Example-guided deep reinforcement learning of physics-based character skills","volume":"37","author":"peng","year":"2018","journal-title":"ACM Transactions on Graphics"},{"article-title":"Emergence of locomotion behaviours in rich environments","year":"2017","author":"heess","key":"ref35"},{"key":"ref34","doi-asserted-by":"crossref","DOI":"10.1145\/3072959.3073602","article-title":"DeepLoco: Dynamic locomotion skills using hierarchical deep reinforcement learning","volume":"36","author":"peng","year":"2017","journal-title":"ACM Transactions on Graphics"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/218380.218414"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3359566.3360083"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8659.2012.03189.x"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/38.708559"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1201775.882284"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2185520.2335379"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/MCG.2009.111"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2007.1167"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2820903.2820918"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2012.149"},{"key":"ref26","doi-asserted-by":"crossref","DOI":"10.1145\/3072959.3073663","article-title":"Phase-functioned neural networks for character control","volume":"36","author":"holden","year":"2017","journal-title":"ACM Transactions on Graphics"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1145\/2897824.2925975","article-title":"A deep learning framework for character motion synthesis and editing","volume":"35","author":"holden","year":"2016","journal-title":"ACM Transactions on Graphics"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/Humanoids.2011.6100856"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/MCG.2011.68"},{"key":"ref11","first-page":"119","article-title":"A decision network framework for the behavioral animation of virtual humans","author":"yu","year":"2007","journal-title":"Proc of the ACM SIGGRAPH\/Eurographics symposium on Computer animation"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/311535.311538"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MMUL.2012.54"},{"key":"ref14","first-page":"1257","article-title":"Learning policies for embodied virtual agents through demonstration","author":"dinerstein","year":"2007","journal-title":"Proc of the 20th International Joint Conference on Artifical Intelligence"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/566654.566605"},{"key":"ref16","doi-asserted-by":"crossref","DOI":"10.1145\/2366145.2366172","article-title":"Motion graphs++: a compact generative model for semantic motion analysis and synthesis","volume":"31","author":"min","year":"2012","journal-title":"ACM Transactions on Graphics"},{"key":"ref17","first-page":"214","article-title":"Flexible automatic motion blending with registration curves","author":"kovar","year":"2003","journal-title":"Proc of the ACM SIGGRAPH\/Eurographics symposium on Computer animation"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1007\/978-3-642-34710-8_22","article-title":"An analysis of motion blending techniques","author":"feng","year":"2012","journal-title":"Proc of the International Conference on Motion in Games"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1015706.1015755"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460608"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2018.07.006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907656"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/237170.237258"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1038\/35035023","article-title":"Simulating dynamical features of escape panic","author":"helbing","year":"2000","journal-title":"Nature"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1073368.1073408"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2005.852260"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1342250.1342272"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786824"},{"key":"ref45","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"Proc Int Conf Verification Model Checking Abstract Interpretation"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.32"},{"key":"ref47","first-page":"1558","article-title":"Synthesis for LTL and LDL on finite traces","author":"de giacomo","year":"2015","journal-title":"Proc of the 24th International Conference on Artificial Intelligence"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref42"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/32.825764"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75293"},{"key":"ref43","first-page":"342","article-title":"Synthesizing monitors for safety properties","author":"havelund","year":"2002","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"}],"event":{"name":"2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2020,10,24]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2021,1,24]]}},"container-title":["2020 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9340668\/9340635\/09341666.pdf?arnumber=9341666","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:51:29Z","timestamp":1656453089000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9341666\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,24]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/iros45743.2020.9341666","relation":{},"subject":[],"published":{"date-parts":[[2020,10,24]]}}}