RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL

Andrea Vandin*

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review


"Analysis of Spatiotemporal Properties of Stochastic Systems Using TSTL" [1] proposes a three-valued spatiotemporal logic to enrich the analysis framework for Signal Spatiotemporal Logic previously developed by the authors. This allows one to reason on the evolution of the satisfaction of properties expressed in a spatiotemporal logic, providing additional insight on the behavior of the studied system. The approach has been validated on two case studies: the fire spread and evacuation models originally presented in [2], and a novel case study on privacy in a communication network. This replicated computation result report focuses on the artifact accompanying the article, consisting in a prototypical tool implementation of the techniques presented in the article, together with all files necessary to replicate the analysis performed thereof. The artifact is available at https://ludovicalv.github.io/TOMACS/. After a few iterations with the authors, I found that the artifact agrees with the guidelines on availability (Artifact Avaliable) and replicability (Results Replicated) dictated in https://www.acm.org/publications/policies/artifact-review-badging. The software was made available in an accessible archival repository, and thanks to the instructions provided in the accompanying webapge, it has been straightforward to replicate the experimental results from the article.

Original languageEnglish
Article number21
JournalACM Transactions on Modeling and Computer Simulation
Issue number4
Publication statusPublished - 1 Nov 2019


  • Multivalued logics
  • RCR replicated computation result report
  • Spatio-temporal logics

Fingerprint Dive into the research topics of 'RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL'. Together they form a unique fingerprint.

Cite this