{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,6]],"date-time":"2026-03-06T18:40:25Z","timestamp":1772822425019,"version":"3.50.1"},"reference-count":47,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Prime Minister’s Research Fellowship from the Ministry of Education, Government of India"},{"name":"SERB Start-Up Research Grant"},{"name":"ARTPARK"},{"name":"Siemens"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2026,1]]},"DOI":"10.1109\/tac.2025.3592723","type":"journal-article","created":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T17:59:38Z","timestamp":1753466378000},"page":"512-519","source":"Crossref","is-referenced-by-count":4,"title":["Spatiotemporal Tubes for Temporal Reach-Avoid-Stay Tasks in Unknown Systems"],"prefix":"10.1109","volume":"71","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-5214-4791","authenticated-orcid":false,"given":"Ratnangshu","family":"Das","sequence":"first","affiliation":[{"name":"Centre for Cyber-Physical Systems, IISc, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-2126-240X","authenticated-orcid":false,"given":"Ahan","family":"Basu","sequence":"additional","affiliation":[{"name":"Centre for Cyber-Physical Systems, IISc, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5452-8850","authenticated-orcid":false,"given":"Pushpak","family":"Jagtap","sequence":"additional","affiliation":[{"name":"Centre for Cyber-Physical Systems, IISc, Bangalore, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483376"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.7339"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.2987711"},{"key":"ref6","first-page":"6436","article-title":"Controller synthesis for local and global specifications in multi-agent systems","volume-title":"Proc. 62nd IEEE Conf. Decis. Control","author":"Sundarsingh","year":"2023"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2853558"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2019.8796030"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3013916"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9303847"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.23919\/ACC60939.2024.10644338"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853182"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2022.110478"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1996.577297"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8263977"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728612"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2023.3291885"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2008.929402"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.2765"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2022.3233723"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.23919\/ECC55457.2022.9838497"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC51059.2022.9992628"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2017.8264095"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2020.100973"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8593637"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2022.3208502"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2024.3396027"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2024.3406250"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.23919\/ECC65951.2025.11186887"},{"key":"ref32","article-title":"Spatiotemporal tubes based controller synthesis against omega-regular specifications for unknown systems","author":"Das","year":"2025"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.23919\/ECC65951.2025.11187220"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICC64753.2024.10883676"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2959924"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3285785"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2023.3255141"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2003.811250"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2004.841786"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2019.2923849"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2025.3592723"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2014.02.020"},{"key":"ref43","volume-title":"Mathematical Control Theory: Deterministic Finite Dimensional Systems","volume":"6","author":"Sontag","year":"2013"},{"key":"ref44","article-title":"A toolbox of level set methods","author":"Mitchell","year":"2007"},{"key":"ref45","volume-title":"Robot Modeling and Control","author":"Spong","year":"2005"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2010.5717210"},{"key":"ref47","article-title":"helperOC: MATLAB library for optimal control and reachability analysis","author":"ChoiJangho","year":"2024"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/9\/11319285\/11096612.pdf?arnumber=11096612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T18:47:29Z","timestamp":1767206849000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11096612\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1]]},"references-count":47,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tac.2025.3592723","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1]]}}}