{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T14:06:41Z","timestamp":1766066801503,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1109\/iros.2017.8206502","type":"proceedings-article","created":{"date-parts":[[2017,12,14]],"date-time":"2017-12-14T22:12:59Z","timestamp":1513289579000},"page":"6039-6046","source":"Crossref","is-referenced-by-count":36,"title":["Synthesis of correct-by-construction behavior trees"],"prefix":"10.1109","author":[{"given":"Michele","family":"Colledanchise","sequence":"first","affiliation":[]},{"given":"Richard M.","family":"Murray","sequence":"additional","affiliation":[]},{"given":"Petter","family":"Ogren","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"Evolutionary behavior tree approaches for navigating platform games","volume":"pp","author":"nicolau","year":"2016","journal-title":"IEEE Transactions on Computational Intelligence and AI in Games"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1967701.1967747"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref14","first-page":"364","article-title":"Synthesis of reactive (1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"ref15","volume":"abs 1508 2705","author":"filippidis","year":"2015","journal-title":"Symbolic construction of GR(1) contracts for synchronous systems with full information"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631296"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582935"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-4458"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CIG.2013.6633623"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7140065"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2514\/6.2013-4636"},{"key":"ref6","article-title":"Behavior trees: three ways of cultivating game ai","author":"champandard","year":"2010","journal-title":"Game Developers Conference AI Summit"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1109\/ICRA.2015.7139738","article-title":"Semi-autonomous simulated brain tumor ablation with raven ii surgical robot using behavior tree","author":"hu","year":"2015","journal-title":"IEEE International Conference on Robotics and Automation (ICRA)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2016.7759089"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2633567"},{"key":"ref2","article-title":"Game AI Pro","author":"rabin","year":"2014","journal-title":"The Behavior Tree Starter Kit"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1201\/b13169","author":"millington","year":"2009","journal-title":"Artificial Intelligence for Games"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20525-5_13"},{"journal-title":"Learning of behavior trees for autonomous agents","year":"2015","author":"colledanchise","key":"ref20"},{"journal-title":"Principles of Model Checking (Representation and Mind Series)","year":"2008","author":"baier","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942755"}],"event":{"name":"2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2017,9,24]]},"location":"Vancouver, BC","end":{"date-parts":[[2017,9,28]]}},"container-title":["2017 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8119304\/8202121\/08206502.pdf?arnumber=8206502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T01:51:12Z","timestamp":1570499472000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8206502\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iros.2017.8206502","relation":{},"subject":[],"published":{"date-parts":[[2017,9]]}}}