Media type: E-Article Title: A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic Contributor: Dong, Weijie; Yin, Xiang; Li, Shaoyuan imprint: Institute of Electrical and Electronics Engineers (IEEE), 2024 Published in: IEEE Transactions on Automatic Control Language: Not determined DOI: 10.1109/tac.2023.3266021 ISSN: 0018-9286; 1558-2523; 2334-3303 Keywords: Electrical and Electronic Engineering ; Computer Science Applications ; Control and Systems Engineering Origination: Footnote: