Spatio-Temporal Logics for Analyzing and Querying Perception Systems

  • Short Talk
  • 2038666
  • 2039087
  • Verification and IoT
  • CPS PI Meeting 2021
  • NSF
  • Presentation
Submitted by Georgios Fainekos on