{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,7]],"date-time":"2025-11-07T13:30:38Z","timestamp":1762522238453,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.23919\/ecc.2018.8550179","type":"proceedings-article","created":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T19:50:06Z","timestamp":1544212206000},"page":"453-458","source":"Crossref","is-referenced-by-count":6,"title":["Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications"],"prefix":"10.23919","author":[{"given":"Sofie","family":"Andersson","sequence":"first","affiliation":[]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Control Synthesis for Multi-Agent Systems under Metric Interval Temporal Logic Specifications","author":"andersson","year":"2017","journal-title":"20th World Congress of the International Federation of Automatic Control (IFAC WC 2017)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5979895"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799414"},{"key":"ref13","article-title":"Compositional abstraction refinement for control synthesis","author":"meyer","year":"2017","journal-title":"Nonlinear Analysis Hybrid Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.895849"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1163\/156855308X344864"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"1431","DOI":"10.1109\/ROBOT.2007.363185","article-title":"Mixed initiative control of autonomous vehicles","author":"loizou","year":"2007","journal-title":"in Proceedings 2007 IEEE International Conference on Robotics and Automation"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.33"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s10009-005-0214-9","article-title":"On the expressiveness of mtl in the pointwise and continuous semantics","volume":"9","author":"souza","year":"2007","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2011.942115"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ROMAN.2012.6343792"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739103"},{"article-title":"Cooperative planning for coupled multi-agent systems under timed temporal specifications","year":"2016","author":"nikou","key":"ref9"}],"event":{"name":"2018 17th European Control Conference (ECC)","start":{"date-parts":[[2018,6,12]]},"location":"Limassol","end":{"date-parts":[[2018,6,15]]}},"container-title":["2018 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8496738\/8550039\/08550179.pdf?arnumber=8550179","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T20:09:17Z","timestamp":1598213357000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8550179\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.23919\/ecc.2018.8550179","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}