Visible to the public CPS: Medium: Collaborative Research: Spatio-Temporal Logics for Analyzing and Querying Perception Systems