"Analysis of Spatio-temporal Properties of Stochastic Systems Using TSTL."

Ludovica Luisa Vissat et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics