{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:13:22Z","timestamp":1730297602039,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T00:00:00Z","timestamp":1569888000000},"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":[[2019,10]]},"DOI":"10.1109\/smc.2019.8914057","type":"proceedings-article","created":{"date-parts":[[2019,11,29]],"date-time":"2019-11-29T15:09:34Z","timestamp":1575040174000},"page":"1631-1636","source":"Crossref","is-referenced-by-count":5,"title":["Provably Correct Configuration Management of Precision Feeding in Agriculture4.0"],"prefix":"10.1109","author":[{"given":"G.","family":"Kanter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Vain","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Seshadhri","family":"Srinivasan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Srini","family":"Ramaswamy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Wbur URL","year":"0","key":"ref10"},{"key":"ref11","first-page":"41","article-title":"Agricultural Robotic Candidate Overview using Co-model Driven Development","author":"christiansen","year":"2016","journal-title":"International Conference on Integrated Modeling and Analysis in Applied Control and Automation"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30080-9_7"},{"journal-title":"Uppaal URL","year":"0","key":"ref13"},{"key":"ref14","first-page":"87","article-title":"Timed Automata: Semantics, Algorithms and Tools","volume":"3098","author":"bengtsson","year":"2004","journal-title":"Lectures on Concurrency and Petri Nets ACPN 2003 Lecture Notes in Computer Science"},{"journal-title":"Amazon Web Services URL","year":"0","key":"ref15"},{"journal-title":"TestIt URL","year":"0","key":"ref16"},{"journal-title":"Dtron URL","year":"0","key":"ref17"},{"journal-title":"Gazebo simulator URL","year":"0","key":"ref18"},{"journal-title":"Docker URL","year":"0","key":"ref19"},{"journal-title":"Global Journal of Computer Science and Technology","article-title":"Survey on Precision Farming using Mobile Applications","year":"2019","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICARCV.2018.8581221"},{"key":"ref6","first-page":"3758","article-title":"An overview of Internet of things (IoT) and data analytics in agriculture: Benefits and challenges","year":"2018","journal-title":"IEEE Internet of Things Journal 5 5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2019.2921177"},{"key":"ref8","first-page":"7720","article-title":"Robotic milking: Feeding strategies and economic returns","year":"2017","journal-title":"Journal of dairy science 100 9"},{"key":"ref7","first-page":"121","article-title":"From Manual Farming to Automatic and Robotic Based Farming","year":"2017","journal-title":"Robotics and Mechatronics for Agriculture"},{"key":"ref2","first-page":"1026","article-title":"Toward fulfilling the robotic farming vision: Advances in sensors and controllers for agricultural applications","year":"2000","journal-title":"IEEE Transactions on Industry Applications 36 4"},{"article-title":"Agriculture 4.0: The Future of Farming Technology","year":"2018","author":"clerqc","key":"ref1"},{"journal-title":"Pellon URL","year":"0","key":"ref9"}],"event":{"name":"2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)","start":{"date-parts":[[2019,10,6]]},"location":"Bari, Italy","end":{"date-parts":[[2019,10,9]]}},"container-title":["2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8906183\/8913838\/08914057.pdf?arnumber=8914057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T15:29:47Z","timestamp":1658158187000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8914057\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/smc.2019.8914057","relation":{},"subject":[],"published":{"date-parts":[[2019,10]]}}}