Nenzi L, Bortolussi L. Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. EAI Endorsed Trans Cloud Sys [Internet]. 2015 Feb. 19 [cited 2025 Apr. 16];1(4):e4. Available from: https://publications.eai.eu/index.php/cs/article/view/2562