{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,15]],"date-time":"2026-06-15T23:24:30Z","timestamp":1781565870947,"version":"3.54.5"},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/icra.2016.7487613","type":"proceedings-article","created":{"date-parts":[[2016,6,9]],"date-time":"2016-06-09T17:33:24Z","timestamp":1465493604000},"page":"4192-4199","source":"Crossref","is-referenced-by-count":39,"title":["Reactive high-level behavior synthesis for an Atlas humanoid robot"],"prefix":"10.1109","author":[{"given":"Spyros","family":"Maniatopoulos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philipp","family":"Schillinger","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vitchyr","family":"Pong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David C.","family":"Conner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907644"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907485"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139025"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914562980"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"ref15","article-title":"Robot creation from functional specifications","author":"mehta","year":"2015","journal-title":"Int l Symp Robotics Research"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650371"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942116"},{"key":"ref18","year":"0","journal-title":"Robot Operating System (ROS)"},{"key":"ref19","article-title":"A multi-paradigm language for reactive synthesis","author":"filippidis","year":"2015","journal-title":"4th Workshop on Synthesis (SYNT'15) ser Electronic Proceedings in Theoretical Computer Science (EPTCS)"},{"key":"ref28","author":"ehlers","year":"2013","journal-title":"Slugs GR(1) synthesizer"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2015.2414134"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2006.1655723"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631152"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-014-9418-8"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225161"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref7","first-page":"3664","article-title":"This time the robot settles for a cost: A quantitative approach to temporal logic planning with partial satisfaction","author":"lahijanian","year":"2015","journal-title":"The Twenty-Ninth AAAI Conference"},{"key":"ref2","article-title":"What happened at the DARPA Robotics Challenge?","year":"2015"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2295664"},{"key":"ref1","article-title":"An Approach for Runtime-Modifiable Behavior Control of Humanoid Rescue Robots","author":"schillinger","year":"2015"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref22","article-title":"PDDL - The Planning Domain Definition Language","author":"mcdermott","year":"1998","journal-title":"Yale Center for Computational Vision and Control Tech Rep"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(71)90010-5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2014.7041482"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21558"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-013-0247-2"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2010.938836"}],"event":{"name":"2016 IEEE International Conference on Robotics and Automation (ICRA)","location":"Stockholm, Sweden","start":{"date-parts":[[2016,5,16]]},"end":{"date-parts":[[2016,5,21]]}},"container-title":["2016 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7478842\/7487087\/07487613.pdf?arnumber=7487613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,9,29]],"date-time":"2016-09-29T18:27:02Z","timestamp":1475173622000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7487613\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/icra.2016.7487613","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}