CPS: Medium: Spatio-Temporal Logics for Analyzing and Querying Perception Systems Submitted by Jason Gigax on Thu, 01/12/2023 - 12:55 2038666 2022 CPS PI Meeting 2022