{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:58:35Z","timestamp":1776333515070,"version":"3.51.2"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2018,8,1]],"date-time":"2018-08-01T00:00:00Z","timestamp":1533081600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"NSF ExCAPE"},{"DOI":"10.13039\/100000185","name":"DARPA","doi-asserted-by":"crossref","award":["N66001-12-1-4250"],"award-info":[{"award-number":["N66001-12-1-4250"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"crossref"}]},{"name":"NSF CAREER","award":["CNS-0953365"],"award-info":[{"award-number":["CNS-0953365"]}]},{"name":"Institutional Strategy of University of Bremen"},{"name":"German Excellence Initiative"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Robot."],"published-print":{"date-parts":[[2018,8]]},"DOI":"10.1109\/tro.2018.2830353","type":"journal-article","created":{"date-parts":[[2018,6,5]],"date-time":"2018-06-05T19:34:49Z","timestamp":1528227289000},"page":"936-952","source":"Crossref","is-referenced-by-count":15,"title":["Resilient, Provably-Correct, and High-Level Robot Behaviors"],"prefix":"10.1109","volume":"34","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4535-6962","authenticated-orcid":false,"given":"Kai Weng","family":"Wong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8315-1431","authenticated-orcid":false,"given":"Rudiger","family":"Ehlers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7754-1011","authenticated-orcid":false,"given":"Hadas","family":"Kress-Gazit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"5357","article-title":"Adaptive planning in\n unknown environments using grammatical inference","author":"fu","year":"0","journal-title":"Proc 52nd IEEE Conf Decis Control"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039487"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679387"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2011.5970509"},{"key":"ref31","first-page":"152","article-title":"Debugging\n formal specifications using simple counterstrategies","author":"k\u00f6nighofer","year":"0","journal-title":"Proc Formal Methods Comput -Aided Des"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.jnca.2012.12.011"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_51"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-013-0191-5"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_9"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562128"},{"key":"ref28","first-page":"715","article-title":"Accepting optimally in automated negotiation with incomplete information","author":"baarslag","year":"0","journal-title":"Proc Int Conf Auton Agents Multi-Agent Syst"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00115-2"},{"key":"ref29","first-page":"912","article-title":"Negotiation and task sharing among autonomous agents in cooperative domains","author":"zlotkin","year":"0","journal-title":"Proc Int Joint Conf Artif Intell"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6224807"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1613\/jair.277"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509274"},{"key":"ref21","first-page":"271","article-title":"Chance-constrained consistency for probabilistic temporal plan networks","author":"santana","year":"0","journal-title":"Proc Int Conf Autom Planning Scheduling"},{"key":"ref24","first-page":"161","article-title":"Plan repair as an extension of planning","author":"van der krogt","year":"0","journal-title":"Proc Int Conf Autom Planning Scheduling"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2013.2254033"},{"key":"ref26","author":"young","year":"1975","journal-title":"Bargaining Formal Theories of Negotiation"},{"key":"ref25","article-title":"Replanning: A new perspective","author":"cushing","year":"0","journal-title":"Proc Int Conf Autom Planning Scheduling"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011254632723"},{"key":"ref51","first-page":"193","article-title":"Safe LTL assumption-based planning","author":"albore","year":"0","journal-title":"Proc Int Conf Autom Planning Scheduling"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2015.7139022"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225075"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2014.X.012"},{"key":"ref14","first-page":"339","article-title":"Let's talk: Autonomous conflict resolution for robots carrying out\n individual high-level tasks in a shared workspace","author":"wong","year":"0","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2013.6631152"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/10720246_1"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00374-0"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1613\/jair.774"},{"key":"ref19","first-page":"1039","article-title":"Universal plans for reactive robots in unpredictable environments","author":"schoppers","year":"0","journal-title":"Proc 10th Int Joint Conf Artif Intell"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696978"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755968"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref9","first-page":"2222","article-title":"Sampling-based motion planning with deterministic \n$\\mathrm{\\mu }$-calculus specifications","author":"karaman","year":"0","journal-title":"Proc 48h IEEE Conf Decis Control"},{"key":"ref46","author":"clarke","year":"1999","journal-title":"Model checking"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980160"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_29"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353862"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2012.6225208"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.002"},{"key":"ref43","first-page":"4588","article-title":"Patching task-level robot\n controllers based on a local mu-calculus formula","author":"livingston","year":"0","journal-title":"Proc IEEE Int Conf Robot Autom"}],"container-title":["IEEE Transactions on Robotics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8860\/8437110\/08372973.pdf?arnumber=8372973","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:16:10Z","timestamp":1642004170000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8372973\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,8]]},"references-count":51,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tro.2018.2830353","relation":{},"ISSN":["1552-3098","1941-0468"],"issn-type":[{"value":"1552-3098","type":"print"},{"value":"1941-0468","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,8]]}}}