{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T10:45:40Z","timestamp":1766054740440,"version":"3.48.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T00:00:00Z","timestamp":1760832000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,10,19]]},"DOI":"10.1109\/iros60139.2025.11247483","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"17413-17419","source":"Crossref","is-referenced-by-count":0,"title":["Reactive Temporal Logic Planning for Safe Human-Robot Interaction"],"prefix":"10.1109","author":[{"given":"Xiangcheng","family":"Liu","sequence":"first","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,China,230026"}]},{"given":"Ziyang","family":"Chen","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,China,230026"}]},{"given":"Yinxiao","family":"Tian","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,China,230026"}]},{"given":"Zhen","family":"Kan","sequence":"additional","affiliation":[{"name":"University of Science and Technology of China,Department of Automation,Hefei,China,230026"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1093\/nsr\/nwac190"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.matt.2024.10.015"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794128"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3226144"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2024.3426183"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920913922"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3061983"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3101544"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3138704"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2024.3418409"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2024.3401166"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920918919"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/icra40945.2020.9197570"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-022-00447-5"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561807"},{"key":"ref16","first-page":"249","article-title":"Provably-correct coordination of large collections of agents with counting temporal logic constraints","volume-title":"Proceedings of the 8th International Conference on Cyber-Physical Systems","author":"Sahin"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2023.3291463"},{"first-page":"2110","volume-title":"Proc. IEEE 18th Int. Conf. Automat. Sci. Eng. (CASE)","author":"Zhou","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611484"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2019.8794170"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561297"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611623"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2023.3304842"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2018.2865891"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IROS55552.2023.10342397"},{"key":"ref26","first-page":"750","article-title":"Storm: An integrated framework for fast joints-pace model-predictive control for reactive manipulation","volume-title":"Conf. Robot Learn","author":"Bhardwaj"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref27"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/icra48891.2023.10160765"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TVCG.2006.56"},{"article-title":"Sam 2: Segment anything in images and videos","year":"2024","author":"Ravi","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-72970-6_3"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_5"}],"event":{"name":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2025,10,19]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,10,25]]}},"container-title":["2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11245651\/11245652\/11247483.pdf?arnumber=11247483","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T10:41:53Z","timestamp":1766054513000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11247483\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11247483","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}