{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T12:40:35Z","timestamp":1766061635432,"version":"3.48.0"},"reference-count":49,"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.11246452","type":"proceedings-article","created":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T18:54:45Z","timestamp":1764269685000},"page":"21032-21039","source":"Crossref","is-referenced-by-count":0,"title":["LATMOS: Latent Automaton Task Model from Observation Sequences"],"prefix":"10.1109","author":[{"given":"Weixiao","family":"Zhan","sequence":"first","affiliation":[{"name":"University of California San Diego,Department of Computer Science and Engineering,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiyue","family":"Dong","sequence":"additional","affiliation":[{"name":"University of California San Diego,Department of Electrical and Computer Engineering,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Sebasti\u00e1n","sequence":"additional","affiliation":[{"name":"University of Cambridge,Department of Computer Science and Technology,Cambridge,UK,CB3 0FD"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikolay","family":"Atanasov","sequence":"additional","affiliation":[{"name":"University of California San Diego,Department of Electrical and Computer Engineering,CA,USA,92093"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60915-6_6"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2007.363946"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3144073"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1142\/9789814271059_0002"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2010.5650896"},{"volume-title":"Principles of model checking","year":"2008","author":"Baier","key":"ref7"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9635906"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2024.3457538"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-021-09993-6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10610599"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-022-06164-1"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52688.2022.01563"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.00487"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19772-7_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-022-10389-w"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-150682"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.15607\/rss.2019.xv.064"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920918919"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/02783649221077714"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1177\/02783649231154674"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2024.3418550"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9197570"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3146951"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2016.7487554"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/icra55743.2025.11128238"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA57147.2024.10611163"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/icra55743.2025.11127555"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"journal-title":"L*LM: Learning automata from examples using natural language oracles","year":"2024","author":"Vazquez-Chanlatte","key":"ref30"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1051\/ita:1999102"},{"article-title":"Scikit-SpLearn: a toolbox for the spectral learning of weighted automata compatible with scikit-learn","volume-title":"Conference francophone sur l\u2019Apprentissage Aurtomatique","author":"Arrivault","key":"ref32"},{"key":"ref33","article-title":"Spectral learning of mixture of hidden Markov models","volume":"27","author":"Subakan","year":"2014","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23021-4_1"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/icra55743.2025.11128815"},{"journal-title":"Rt-2: Vision-language-action models transfer web knowledge to robotic control","year":"2023","author":"Brohan","key":"ref36"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.00280"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IROS58592.2024.10802322"},{"key":"ref39","first-page":"79081","article-title":"Leveraging pre-trained large language models to construct and utilize world models for model-based task planning","volume":"36","author":"Guan","year":"2023","journal-title":"Advances in Neural Information Processing Systems"},{"journal-title":"Task and motion planning in hierarchical 3d scene graphs","year":"2024","author":"Ray","key":"ref40"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"article-title":"Reactive synthesis from LTL specification with spot","volume-title":"Workshop on Synthesis, International Conference on Computer-Aided Verification","author":"Michaud","key":"ref42"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR52733.2024.01834"},{"key":"ref44","first-page":"73383","article-title":"Minigrid & miniworld: Modular & customizable reinforcement learning environments for goal-oriented tasks","volume":"36","author":"Chevalier-Boisvert","year":"2023","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-016-5565-9"},{"journal-title":"Empirical evaluation of gated recurrent neural networks on sequence modeling","year":"2014","author":"Chung","key":"ref46"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.1706.03762"},{"journal-title":"Efficiently modeling long sequences with structured state spaces","year":"2021","author":"Gu","key":"ref48"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1088\/1742-5468\/ad292b"}],"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\/11246452.pdf?arnumber=11246452","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T12:36:31Z","timestamp":1766061391000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11246452\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,19]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/iros60139.2025.11246452","relation":{},"subject":[],"published":{"date-parts":[[2025,10,19]]}}}