Specifying and Monitoring Properties of Stochastic Spatio-Temporal Systems in Signal Temporal Logic
Laura Nenzi, Luca Bortolussi · 2015
We present an extension of the linear time, time-bounded, Signal Temporal Logic to describe spatio-temporal properties. We consider a discrete location/ patch-based representation of space, with a population of interacting agents evolving in each location and with agents migrating from one patch to