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

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

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

Fingerprint

Dive into the research topics of 'Three-Valued Spatio-Temporal Logic: a further analysis on spatio-temporal properties of stochastic systems'. Together they form a unique fingerprint.

Engineering & Materials Science