Edinburgh Research Explorer

Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Ludovica Luisa Vissat
  • Michele Loreti
  • Laura Nenzi
  • Jane Hillston
  • Glenn Marion

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Title of host publicationQuantitative Evaluation of Systems. QEST 2017.
PublisherSpringer, Cham
Number of pages16
ISBN (Electronic)978-3-319-66335-7
ISBN (Print)978-3-319-66334-0
StatePublished - 11 Aug 2017
Event14th International Conference on Quantitative Evaluation of Systems - Berlin, Germany
Duration: 5 Sep 20177 Sep 2017

Publication series

NameLecture Notes in Computer Scienc
PublisherSpringer, Cham
ISSN (Print)0302-9743


Conference14th International Conference on Quantitative Evaluation of Systems
Abbreviated titleQEST 2017
Internet address


In this paper we present Three-Valued Spatio-Temporal Logic (TSTL), which enriches the available spatio-temporal analysis of properties expressed in Signal Spatio-Temporal Logic (SSTL), to give further insight into the dynamic behaviour of systems. Our novel analysis starts from the estimation of satisfaction probabilities of given SSTL properties and allows the analysis of their temporal and spatial evolution. Moreover, in our verification procedure, we use a three-valued approach to include the intrinsic and unavoidable uncertainty related to the simulation-based statistical evaluation of the estimates; this can be also used to assess the appropriate number of simulations to use depending on the analysis needs. We present the syntax and three-valued semantics of TSTL and a
specific extended monitoring algorithm to check the validity of TSTL formulas.
We conclude with two case studies that demonstrate how TSTL broadens the application of spatio-temporal logics in realistic scenarios, enabling analysis of threat monitoring and control programmes based on spatial stochastic population models.


14th International Conference on Quantitative Evaluation of Systems


Berlin, Germany

Event: Conference

Download statistics

No data available

ID: 37015295