Laura Nenzi, Luca Bortolussi. Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic. In Moshe Haviv, William J. Knottenbelt, Lorenzo Maggi, Daniele Miorandi, editors, 8th International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2014, Bratislava, Slovakia, December 9-11, 2014. ICST, 2014. [doi]
Abstract is missing.