{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T21:07:28Z","timestamp":1781212048425,"version":"3.54.1"},"reference-count":41,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T00:00:00Z","timestamp":1790812800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Approximate Reasoning"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1016\/j.ijar.2026.109724","type":"journal-article","created":{"date-parts":[[2026,5,28]],"date-time":"2026-05-28T16:09:04Z","timestamp":1779984544000},"page":"109724","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Set-based monitoring for signal temporal logic with uncertainty mitigation and confidence guarantees"],"prefix":"10.1016","volume":"197","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-2662-306X","authenticated-orcid":false,"given":"Antoine","family":"Besset","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1955-6725","authenticated-orcid":false,"given":"Joris","family":"Tillet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6185-2480","authenticated-orcid":false,"given":"Julien","family":"Alexandre dit Sandretto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.ijar.2026.109724_bib0001","series-title":"Proceedings of the 11th International Joint Conference on Artificial Intelligence","first-page":"1238","article-title":"Model-based monitoring of dynamic systems","author":"Dvorak","year":"1989"},{"key":"10.1016\/j.ijar.2026.109724_bib0002","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1007\/978-3-319-75632-5_5","article-title":"Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications","volume":"10457","author":"Bartocci","year":"2018","journal-title":"Lect. Runtime Verif."},{"key":"10.1016\/j.ijar.2026.109724_bib0003","series-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume":"vol. 3253","author":"Maler","year":"2004"},{"key":"10.1016\/j.ijar.2026.109724_bib0004","series-title":"Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control","first-page":"211","article-title":"Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems","author":"Nghiem","year":"2010"},{"key":"10.1016\/j.ijar.2026.109724_bib0005","article-title":"Validated explicit and implicit Runge-Kutta methods","volume":"22","author":"Alexandre dit Sandretto","year":"2016","journal-title":"Reliab. Comput."},{"key":"10.1016\/j.ijar.2026.109724_bib0006","series-title":"Proc. of the 1st and 2nd Workshop on Applied Verification for Continuous and Hybrid Systems","first-page":"120","article-title":"An introduction to CORA 2015","author":"Althoff","year":"2015"},{"key":"10.1016\/j.ijar.2026.109724_bib0007","doi-asserted-by":"crossref","DOI":"10.1016\/j.cnsns.2020.105578","article-title":"CAPD:: DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems","volume":"101","author":"Kapela","year":"2021","journal-title":"Commun. Nonlinear Sci. Numer. Simul."},{"key":"10.1016\/j.ijar.2026.109724_bib0008","series-title":"Proceedings of the 25th International Conference on Computer Aided Verification (CAV)","first-page":"264","article-title":"Efficient robust monitoring for STL","volume":"8044","author":"Donz\u00e9","year":"2013"},{"issue":"42","key":"10.1016\/j.ijar.2026.109724_bib0009","doi-asserted-by":"crossref","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","article-title":"Robustness of temporal logic specifications for continuous-time signals","volume":"410","author":"Fainekos","year":"2009","journal-title":"Theor. Comput. Sci."},{"key":"10.1016\/j.ijar.2026.109724_bib0010","doi-asserted-by":"crossref","first-page":"3555","DOI":"10.1109\/LCSYS.2023.3337744","article-title":"Interval signal temporal logic from natural inclusion functions","volume":"7","author":"Baird","year":"2023","journal-title":"IEEE Control Syst. Lett."},{"key":"10.1016\/j.ijar.2026.109724_bib0011","series-title":"Runtime Verification (RV 2020)","first-page":"337","article-title":"Property-directed verified monitoring of signal temporal logic","volume":"12399","author":"Wright","year":"2020"},{"key":"10.1016\/j.ijar.2026.109724_bib0012","series-title":"Proceedings of Robotics: Science and Systems (RSS)","article-title":"Safe control under uncertainty with probabilistic signal temporal logic","author":"Sadigh","year":"2016"},{"key":"10.1016\/j.ijar.2026.109724_bib0013","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1016\/j.ijar.2020.01.009","article-title":"Incremental reasoning in probabilistic signal temporal logic","volume":"119","author":"Tiger","year":"2020","journal-title":"Int. J. Approx. Reason."},{"key":"10.1016\/j.ijar.2026.109724_bib0014","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/j.jlp.2016.09.007","article-title":"Availability analysis of safety critical systems using advanced fault tree and stochastic petri net formalisms","volume":"44","author":"Talebberrouane","year":"2016","journal-title":"J. Loss Prev. Process Ind."},{"issue":"3","key":"10.1016\/j.ijar.2026.109724_bib0015","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1016\/j.ress.2008.08.003","article-title":"Model-based Monte Carlo state estimation for condition-based component replacement","volume":"94","author":"Cadini","year":"2009","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"10.1016\/j.ijar.2026.109724_bib0016","series-title":"Simulation and the Monte Carlo Method","author":"Rubinstein","year":"2016"},{"key":"10.1016\/j.ijar.2026.109724_bib0017","unstructured":"F. Herzog, Stochastic differential equations (SDE), 2013, (Lecture notes, institute for dynamic systems and control, ETH Z\u00fcrich).[Online]. Available: https:\/\/ethz.ch\/content\/dam\/ethz\/special-interest\/mavt\/dynamic-systems-n-control\/idsc-dam\/Lectures\/Stochastic-Systems\/SDE.pdf."},{"key":"10.1016\/j.ijar.2026.109724_bib0018","series-title":"Proc. of Computer Aided Verification (CAV)","first-page":"259","article-title":"Using four-valued signal temporal logic for incremental verification of hybrid systems","volume":"14683","author":"Lercher","year":"2024"},{"key":"10.1016\/j.ijar.2026.109724_bib0019","series-title":"Automated Technology for Verification and Analysis (ATVA 2016)","first-page":"412","article-title":"STL model checking of continuous and hybrid systems","volume":"9938","author":"Roehm","year":"2016"},{"key":"10.1016\/j.ijar.2026.109724_bib0020","doi-asserted-by":"crossref","unstructured":"J. Tillet, A. Besset, J. Alexandre dit Sandretto, Guaranteed satisfaction of a signal temporal logic formula on tubes, Acta Cybern., Nov. bibinfoyear2025.[Online]. Available: 10.14232\/actacyb.315054.","DOI":"10.14232\/actacyb.315054"},{"key":"10.1016\/j.ijar.2026.109724_bib0021","series-title":"2025 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","first-page":"14892","article-title":"Real-time guaranteed monitoring for a drone using interval analysis and signal temporal logic","author":"Besset","year":"2025"},{"key":"10.1016\/j.ijar.2026.109724_bib0022","series-title":"2025 IEEE 64th Conference on Decision and Control (CDC)","first-page":"6400","article-title":"Uncertainty removal in verification of nonlinear systems against signal temporal logic via incremental reachability analysis","author":"Besset","year":"2025"},{"issue":"1","key":"10.1016\/j.ijar.2026.109724_bib0023","doi-asserted-by":"crossref","first-page":"49","DOI":"10.14232\/actacyb.285177","article-title":"Confidence-based contractor, propagation and potential clouds for differential equations","volume":"25","author":"Alexandre dit Sandretto","year":"2021","journal-title":"Acta Cybern."},{"issue":"1","key":"10.1016\/j.ijar.2026.109724_bib0024","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1080\/15598608.2009.10411922","article-title":"Potential based clouds in robust design optimization","volume":"3","author":"Fuchs","year":"2009","journal-title":"J. Stat. Theory Pract."},{"key":"10.1016\/j.ijar.2026.109724_bib0025","series-title":"Proceedings of the 21st International Conference on Informatics in Control, Automation and Robotics (ICINCO 2024) - Volume 1","first-page":"660","article-title":"Validated uncertainty propagation for estimation and measure association, application to satellite tracking","author":"Govignon","year":"2024"},{"key":"10.1016\/j.ijar.2026.109724_bib0026","series-title":"Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control","article-title":"ProbStar temporal logic for verifying complex behaviors of learning-enabled systems","author":"Tran","year":"2025"},{"key":"10.1016\/j.ijar.2026.109724_bib0027","series-title":"Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (ICCPS \u201923)","article-title":"Conformal prediction for STL runtime verification","author":"Lindemann","year":"2023"},{"key":"10.1016\/j.ijar.2026.109724_bib0028","series-title":"Symbolic and Numerical Methods for Reachability Analysis, 1st International Workshop, SNR 2015","first-page":"40","article-title":"ProbReach: a tool for guaranteed reachability analysis of stochastic hybrid systems","volume":"37","author":"Shmarov","year":"2015"},{"key":"10.1016\/j.ijar.2026.109724_bib0029","series-title":"Hybrid Systems: Computation and Control (HSCC 2005)","first-page":"291","article-title":"Reachability of uncertain linear systems using zonotopes","volume":"3414","author":"Girard","year":"2005"},{"key":"10.1016\/j.ijar.2026.109724_bib0030","series-title":"Technical Report","article-title":"Zonohedra and Zonotopes","author":"Eppstein","year":"1995"},{"key":"10.1016\/j.ijar.2026.109724_bib0031","series-title":"Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms","first-page":"803","article-title":"Zonotopes as bounding volumes","author":"Guibas","year":"2003"},{"issue":"1","key":"10.1016\/j.ijar.2026.109724_bib0032","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1146\/annurev-control-071420-081941","article-title":"Set propagation techniques for reachability analysis","volume":"4","author":"Althoff","year":"2021","journal-title":"Annu. Rev. Control Rob. Auton. Syst."},{"issue":"2","key":"10.1016\/j.ijar.2026.109724_bib0033","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/j.nahs.2009.03.009","article-title":"Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes","volume":"4","author":"Althoff","year":"2010","journal-title":"Nonlinear Anal. Hybrid Syst."},{"key":"10.1016\/j.ijar.2026.109724_bib0034","series-title":"Lectures on Runtime Verification: Introductory and Advanced Topics","first-page":"1","article-title":"Introduction to runtime verification","volume":"10457","author":"Bartocci","year":"2018"},{"key":"10.1016\/j.ijar.2026.109724_bib0035","series-title":"Proceedings of the IFSA-EUSFLAT 2009 Conference","first-page":"191","article-title":"Cloud based design optimization","author":"Fuchs","year":"2009"},{"key":"10.1016\/j.ijar.2026.109724_bib0036","series-title":"Measure Theory (Volumes I\u2013II)","author":"Bogachev","year":"2007"},{"key":"10.1016\/j.ijar.2026.109724_bib0037","series-title":"Fuzzy Techniques: Theory and Applications","first-page":"788","article-title":"Logical differential constraints based on interval boolean tests","volume":"1000","author":"Alexandre Dit Sandretto","year":"2019"},{"key":"10.1016\/j.ijar.2026.109724_bib0038","series-title":"Applied Interval Analysis","first-page":"11","article-title":"Applied interval analysis","author":"Jaulin","year":"2001"},{"key":"10.1016\/j.ijar.2026.109724_bib0039","series-title":"IEEE 56th Annual Conference on Decision and Control (CDC)","first-page":"5626","article-title":"Methods for order reduction of zonotopes","author":"Kopetzki","year":"2017"},{"key":"10.1016\/j.ijar.2026.109724_bib0040","article-title":"Interval Analysis","author":"Moore","year":"1966"},{"key":"10.1016\/j.ijar.2026.109724_bib0041","series-title":"Book of Abstracts: 20th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2025)","first-page":"10","article-title":"Formal verification of state and temporal properties of neural network-controlled systems","author":"Besset","year":"2025"}],"container-title":["International Journal of Approximate Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0888613X26001003?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0888613X26001003?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T20:52:08Z","timestamp":1781211128000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0888613X26001003"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10]]},"references-count":41,"alternative-id":["S0888613X26001003"],"URL":"https:\/\/doi.org\/10.1016\/j.ijar.2026.109724","relation":{},"ISSN":["0888-613X"],"issn-type":[{"value":"0888-613X","type":"print"}],"subject":[],"published":{"date-parts":[[2026,10]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Set-based monitoring for signal temporal logic with uncertainty mitigation and confidence guarantees","name":"articletitle","label":"Article Title"},{"value":"International Journal of Approximate Reasoning","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.ijar.2026.109724","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Published by Elsevier Inc.","name":"copyright","label":"Copyright"}],"article-number":"109724"}}