Qualitative and quantitative monitoring of spatio-temporal properties with SSTL

DOI10.23638/LMCS-14(4:2)2018zbMATH Open1448.68313arXiv1706.09334MaRDI QIDQ4553288FDOQ4553288

Authors: Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, Mieke Massink 

Publication date: 2 November 2018

Full work available at URL: https://arxiv.org/abs/1706.09334

Recommendations

• Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• Robust online monitoring of signal temporal logic
• An Experimental Spatio-Temporal Model Checker
• Spatio-temporal Model Checking for Mobile Real-Time Systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• The chemical basis of morphogenesis
• System design of stochastic models using robustness of temporal properties
• The benefits of relaxing punctuality
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Hybrid performance modelling of opportunistic networks
• Handbook of Spatial Logics
• Robustness of temporal logic specifications for continuous-time signals
• On the almighty wand
• A generalized topological view of motion in discrete space.
• A multiprocess network logic with temporal and spatial modalities
• A rewriting-based model checker for the linear temporal logic of rewriting
• The Temporal Logic of Rewriting: A Gentle Introduction
• Robust satisfaction of temporal logic over real-valued signals
• Title not available (Why is that?)
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• Time robustness in MTL and expressivity in hybrid system falsification
• Efficient CTMC Model Checking of Linear Real-Time Objectives
• Model checking spatial logics for closure spaces
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
• Tools and Algorithms for the Construction and Analysis of Systems
• Logic-based multi-objective design of chemical reaction networks
• Spatial logic and spatial model checking for closure spaces
• Specifying and Verifying Properties of Space
• Title not available (Why is that?)
• An Experimental Spatio-Temporal Model Checker

Cited In (15)

• Spatial logic and spatial model checking for closure spaces
• Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
• Back-and-forth in space: on logics and bisimilarity in closure spaces
• A survey of challenges for runtime verification from advanced application domains (beyond software)
• Analysis of spatio-temporal properties of stochastic systems using TSTL
• RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL
• Mining interpretable spatio-temporal logic properties for spatially distributed systems
• Spatio-temporal model-checking of cyber-physical systems using graph queries
• STL*: extending signal temporal logic with signal-value freezing operator
• On bisimilarity for polyhedral models and \texttt{SLCS}
• A Spatial Logic for Simplicial Models
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• Minimisation of spatial models using branching bisimilarity
• Geometric Model Checking of Continuous Space

This page was built for publication: Qualitative and quantitative monitoring of spatio-temporal properties with SSTL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4553288)