CPS: Medium: Collaborative Research: Spatio-Temporal Logics for Analyzing and Querying Perception Systems Download pdf Tags: Poster 2038666 2039087 Verification and IoT CPS PI Meeting 2021 NSF Poster License: CC-2.5 Submitted by Georgios Fainekos on Wed, 06/09/2021 - 12:36