The slides I used to present the paper “Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents” at the 2019 ACM/IFIP Middleware conference – 6th International Workshop on Middleware and Applications for the Internet of Things…