{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T06:14:13Z","timestamp":1774419253748,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T00:00:00Z","timestamp":1743897600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,6]],"date-time":"2025-04-06T00:00:00Z","timestamp":1743897600000},"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,4,6]]},"DOI":"10.1109\/icassp49660.2025.10889467","type":"proceedings-article","created":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T13:52:43Z","timestamp":1741787563000},"page":"1-5","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid Offline Passive Grammatical Inference and Online Planning for Non-Markovian Tasks"],"prefix":"10.1109","author":[{"given":"Mahyar","family":"Alinejad","sequence":"first","affiliation":[{"name":"University of Central Florida,Dept. of Electrical and Computer Engineering,Orlando,Florida"}]},{"given":"Alvaro","family":"Velasquez","sequence":"additional","affiliation":[{"name":"University of Colorado,Dept. of Computer Science,Boulder,Colorado"}]},{"given":"Yue","family":"Wang","sequence":"additional","affiliation":[{"name":"University of Central Florida,Dept. of Electrical and Computer Engineering Dept. of Computer Science,Orlando,Florida"}]},{"given":"George","family":"Atia","sequence":"additional","affiliation":[{"name":"University of Central Florida,Dept. of Electrical and Computer Engineering Dept. of Computer Science,Orlando,Florida"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Reinforcement learning: An introduction.","author":"Sutton","year":"2018"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1613\/jair.639"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00052-1"},{"key":"ref4","first-page":"2107","article-title":"Using reward machines for high-level task specification and decomposition in reinforcement learning","volume-title":"International Conference on Machine Learning","author":"Icarte"},{"key":"ref5","first-page":"10494","article-title":"Hierarchies of reward machines","volume-title":"International Conference on Machine Learning","author":"Furelos-Blanco"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1142\/9789812797902_0004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i04.5814"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-84060-0_8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v32i1.19844"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v32i1.19853"},{"key":"ref12","article-title":"DFA-RAG: Conversational semantic router for large language model with definite finite automaton","volume-title":"Forty-first International Conference on Machine Learning","author":"Sun"},{"key":"ref13","article-title":"LLMs as probabilistic minimally adequate teachers for dfa learning","author":"Chen","year":"2024"},{"key":"ref14","article-title":"L*LM: learning automata from examples using natural language oracles","author":"Vazquez-Chanlatte","year":"2024"},{"key":"ref15","article-title":"Logically-constrained reinforcement learning","author":"Hasanbeig","year":"2018"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1609\/icaps.v30i1.6756"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022676722315"}],"event":{"name":"ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)","location":"Hyderabad, India","start":{"date-parts":[[2025,4,6]]},"end":{"date-parts":[[2025,4,11]]}},"container-title":["ICASSP 2025 - 2025 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10887540\/10887541\/10889467.pdf?arnumber=10889467","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:21:53Z","timestamp":1774416113000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10889467\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/icassp49660.2025.10889467","relation":{},"subject":[],"published":{"date-parts":[[2025,4,6]]}}}