Modelling and spatio-temporal analysis of spatial stochastic systems

[Vis19] Luisa Vissat. Modelling and spatio-temporal analysis of spatial stochastic systems. Ph.D. thesis, University of Edinburgh. 2019. [Introduces methods for formal analysis of spatial stochastic systems, with validation performed using PRISM.]

Links: [Google] [Google Scholar]

Publications

Selected publications
PRISM publications
PRISM bibliography
External publications
References
Search