Nenzi, Laura, and Luca Bortolussi. “Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic”. EAI Endorsed Transactions on Cloud Systems 1, no. 4 (February 19, 2015): e4. Accessed May 18, 2024. https://publications.eai.eu/index.php/cs/article/view/2562.