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 2024 May 18];1(4):e4. Available from: https://publications.eai.eu/index.php/cs/article/view/2562