Supplementary material:

Paper: Three-Valued Spatio-Temporal Logic a further analysis on spatio-temporal properties of stochastic systems
Authors: Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion (QEST 2017)

Paper: Analysis of spatio-temporal properties of stochastic systems using TSTL
Authors: Ludovica Luisa Vissat, Michele Loreti, Laura Nenzi, Jane Hillston, Glenn Marion

Paper: Stochastic spatial modelling of the remyelination process in multiple sclerosis lesions
Authors: Ludovica Luisa Vissat, Jane Hillston, Anna Williams

Examples of modelling and analysis

Paper: A relative-motion method for parsing spatio-temporal behaviour of dyads using GPS relocation data
Authors: Ludovica Luisa Vissat, Wayne M. Getz

Paper: A comparison of COVID-19 outbreaks across US Combined Statistical Areas using new methods for estimating and social distancing
Authors: Ludovica Luisa Vissat et al.