Luca Bortolussi, Vincenzo Gulisano, Eric Medvet, Dimitrios Palyvos-Giannas. Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents. In Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things, M4IoT@Middleware 2019, Davis, CA, USA, December 09-13, 2019. pages 7-12, ACM, 2019. [doi]
Abstract is missing.