{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T13:56:36Z","timestamp":1768312596525,"version":"3.49.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100004679","name":"EDS","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100004679","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,9]]},"DOI":"10.1109\/cdc57313.2025.11312035","type":"proceedings-article","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T18:19:56Z","timestamp":1768241996000},"page":"6400-6407","source":"Crossref","is-referenced-by-count":0,"title":["Uncertainty Removal in Verification of Nonlinear Systems against Signal Temporal Logic via Incremental Reachability Analysis"],"prefix":"10.1109","author":[{"given":"Antoine","family":"Besset","sequence":"first","affiliation":[{"name":"U2IS, ENSTA, Institut Polytechnique de Paris,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joris","family":"Tillet","sequence":"additional","affiliation":[{"name":"U2IS, ENSTA, Institut Polytechnique de Paris,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien Alexandre","family":"Dit Sandretto","sequence":"additional","affiliation":[{"name":"U2IS, ENSTA, Institut Polytechnique de Paris,Palaiseau,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1238","article-title":"Model-based monitoring of dynamic systems","volume-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","author":"Dvorak"},{"key":"ref2","first-page":"135","article-title":"Specification-based monitoring of cyber-physical systems: A survey on theory, tools and applications","volume-title":"Lecture Notes in Computer Science","volume":"10457","author":"Bartocci","year":"2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755983"},{"key":"ref5","article-title":"Validated explicit and implicit runge-kutta methods","volume-title":"Reliable Computing","volume":"22","author":"Alexandre Dit Sandretto","year":"2016"},{"key":"ref6","first-page":"120","article-title":"An introduction to CORA 2015","volume-title":"Proc. of the 1st and 2nd Workshop on Applied Verification for Continuous and Hybrid Systems","author":"Althoff"},{"key":"ref7","first-page":"105578","article-title":"Capd::dynsys: A flexible c++ toolbox for rigorous numerical analysis of dynamical systems","volume-title":"Communications in Nonlinear Science and Numerical Simulation","volume":"101","author":"Kapela","year":"2021"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0305-8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-65633-0_12"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46520-3_26"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.14232\/actacyb.315054"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1587\/transfun.e99.a.442"},{"key":"ref13","first-page":"111445","article-title":"Model predictive monitoring of dynamical systems for signal temporal logic specifications","volume-title":"Automatica","volume":"160","author":"Yu","year":"2024"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2023.3337744"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2024.101491"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_19"},{"issue":"5","key":"ref17","first-page":"1932","article-title":"Monitor-based runtime assurance for temporal logic specifications","volume-title":"IEEE Transactions on Control Systems Technology","volume":"29","author":"Abate","year":"2019"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-21920-8_70"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"}],"event":{"name":"2025 IEEE 64th Conference on Decision and Control (CDC)","location":"Rio de Janeiro, Brazil","start":{"date-parts":[[2025,12,9]]},"end":{"date-parts":[[2025,12,12]]}},"container-title":["2025 IEEE 64th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11311984\/11311968\/11312035.pdf?arnumber=11312035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:18:55Z","timestamp":1768292335000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11312035\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,9]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/cdc57313.2025.11312035","relation":{},"subject":[],"published":{"date-parts":[[2025,12,9]]}}}