{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T11:00:00Z","timestamp":1762254000301},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,9,27]],"date-time":"2021-09-27T00:00:00Z","timestamp":1632700800000},"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":[[2021,9,27]]},"DOI":"10.1109\/iros51168.2021.9635951","type":"proceedings-article","created":{"date-parts":[[2021,12,16]],"date-time":"2021-12-16T20:45:38Z","timestamp":1639687538000},"source":"Crossref","is-referenced-by-count":4,"title":["Formalizing Trajectories in Human-Robot Encounters via Probabilistic STL Inference"],"prefix":"10.1109","author":[{"given":"Alexis","family":"Linard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilaria","family":"Torre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anders","family":"Steen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iolanda","family":"Leite","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jana","family":"Tumova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883843"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_20"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039487"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CASE48305.2020.9216778"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2020.01.009"},{"key":"ref16","article-title":"Should robots chickenƒ how anthropomorphism and perceived autonomy influence trajectories in a game-theoretic problem","author":"torre","year":"2021","journal-title":"To appear in Proceeding of the 16th ACM\/IEEE International Conference on Human-Robot Interaction (HRI)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28619-4_25"},{"key":"ref18","article-title":"Hateb-2: Reactive planning and decision making in human-robot co-navigation","author":"singamaneni","year":"2020","journal-title":"The IEEE Int Conf Robot & Human Interactive Communication"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1142\/S021984361550022X"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00240"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920917446"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3242587.3242634"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2005.1570410"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3313831.3376355"},{"key":"ref2","first-page":"549","article-title":"Learning social etiquette: Human trajectory understanding in crowded scenes","author":"robicquet","year":"2016","journal-title":"European Conference on Computer Vision"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8461228"},{"key":"ref9","first-page":"147","article-title":"Parametric identification of temporal properties","author":"asarin","year":"2011","journal-title":"International Conference on Runtime Verification"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.5898\/JHRI.6.3.Ball"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47437-3_74"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2003.813506"}],"event":{"name":"2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","location":"Prague, Czech Republic","start":{"date-parts":[[2021,9,27]]},"end":{"date-parts":[[2021,10,1]]}},"container-title":["2021 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9635848\/9635849\/09635951.pdf?arnumber=9635951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:54:51Z","timestamp":1652201691000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9635951\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9,27]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iros51168.2021.9635951","relation":{},"subject":[],"published":{"date-parts":[[2021,9,27]]}}}