{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T11:48:14Z","timestamp":1725450494518},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/acc.2015.7170829","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T21:26:01Z","timestamp":1438291561000},"page":"781-786","source":"Crossref","is-referenced-by-count":0,"title":["Stochastic hybrid systems modeling and performance verification of behavior-based robots"],"prefix":"10.1109","author":[{"family":"Xiaobin Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Hai Lin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631152"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696435"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696434"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739270"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/544796.544798"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"Prism 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Computer Aided Verification"},{"key":"ref4","first-page":"796","article-title":"Learning to coordinate behaviors","author":"maes","year":"1990","journal-title":"AAAI"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30301-5_39"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/3-540-46430-1_12","article-title":"Behavior based robotics using hybrid automata","author":"egerstedt","year":"2000","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6697122"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2012.6385952"},{"key":"ref7","article-title":"Extending behaivor-based systems capabilities using an abstract behavior representation","author":"nicolescu","year":"0","journal-title":"Inst Robot Intell Syst 2000"},{"journal-title":"Behavior-Based Robotics","year":"1998","author":"arkin","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JRA.1986.1087032"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SSRR.2013.6719332"}],"event":{"name":"2015 American Control Conference (ACC)","start":{"date-parts":[[2015,7,1]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2015,7,3]]}},"container-title":["2015 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7160954\/7170700\/07170829.pdf?arnumber=7170829","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T22:48:56Z","timestamp":1567032536000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7170829\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/acc.2015.7170829","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}