{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T08:42:29Z","timestamp":1773736949101,"version":"3.50.1"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,8,28]],"date-time":"2024-08-28T00:00:00Z","timestamp":1724803200000},"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":[[2024,8,28]]},"DOI":"10.1109\/case59546.2024.10711319","type":"proceedings-article","created":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T17:40:16Z","timestamp":1729705216000},"page":"78-83","source":"Crossref","is-referenced-by-count":3,"title":["Enhancing Precision Agriculture Through Human-in-the-Loop Planning and Control"],"prefix":"10.1109","author":[{"given":"Shankar A.","family":"Deka","sequence":"first","affiliation":[{"name":"Aalto University,School of Electrical Engineering,Department of Electrical Engineering and Automation,Espoo,Finland,02150"}]},{"given":"Sujet","family":"Phodapol","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology (KTH),Division of Decision and Control Systems, School of EECS,Stockholm,Sweden,100 44"}]},{"given":"Andreu Matoses","family":"Gimenez","sequence":"additional","affiliation":[{"name":"TU Delft,Faculty of Mechanical Engineering,Department of Cognitive Robotics,Delft,Netherlands,2628 CD"}]},{"given":"Victor Nan","family":"Fernandez-Ayala","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology (KTH),Division of Decision and Control Systems, School of EECS,Stockholm,Sweden,100 44"}]},{"given":"Rufus","family":"Wong","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology (KTH),Division of Decision and Control Systems, School of EECS,Stockholm,Sweden,100 44"}]},{"given":"Pian","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Oxford,Department of Computer Science,Oxford,UK,OX1 2JD"}]},{"given":"Xiao","family":"Tan","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology (KTH),Division of Decision and Control Systems, School of EECS,Stockholm,Sweden,100 44"}]},{"given":"Dimos V.","family":"Dimarogonas","sequence":"additional","affiliation":[{"name":"Royal Institute of Technology (KTH),Division of Decision and Control Systems, School of EECS,Stockholm,Sweden,100 44"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2020.3003910"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IE.2015.29"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/OMICAS52284.2020.9535527"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917235"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICARSC52212.2021.9429797"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3338515"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IRIS.2016.8066090"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MetroAgriFor58484.2023.10424292"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3173386.3177072"},{"key":"ref10","first-page":"105579","article-title":"Real-time 3d unstructured environment reconstruction utilizing vr and kinect-based immersive teleoperation for agricultural field robots","volume-title":"Computers and Electronics in Agriculture","volume":"175","author":"Chen","year":"2020"},{"issue":"5","key":"ref11","article-title":"Human activity recognition through recurrent neural networks for human\u2013robot interaction in agriculture","volume-title":"Applied Sciences","volume":"11","author":"Anagnostis","year":"2021"},{"key":"ref12","volume-title":"Principles of Model Checking","author":"Baier","year":"2008"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2799561"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CASE49439.2021.9551648"},{"key":"ref16","article-title":"A Collaborative Paradigm for Human Workers and Multi-Robot Teams in Precision Agriculture Systems"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/icra.2018.8460793"},{"key":"ref18","first-page":"425","volume-title":"On a Decision Method in Restricted Second Order Arithmetic","author":"B\u00fcchi","year":"1990"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44585-4_6"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696359"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911417911"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-50763-7"},{"key":"ref24","volume-title":"Ltl planning and control for multi-agent systems in real-world environments","author":"Deka"},{"key":"ref25","article-title":"Open Source Robotics Foundation","year":"2014"}],"event":{"name":"2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)","location":"Bari, Italy","start":{"date-parts":[[2024,8,28]]},"end":{"date-parts":[[2024,9,1]]}},"container-title":["2024 IEEE 20th International Conference on Automation Science and Engineering (CASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10711304\/10711288\/10711319.pdf?arnumber=10711319","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,27]],"date-time":"2024-11-27T01:45:20Z","timestamp":1732671920000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10711319\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8,28]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/case59546.2024.10711319","relation":{},"subject":[],"published":{"date-parts":[[2024,8,28]]}}}