Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
From MaRDI portal
Publication:4553288
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
Cites work
- scientific article; zbMATH DE number 5286861 (Why is no real title available?)
- scientific article; zbMATH DE number 2086655 (Why is no real title available?)
- A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
- 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
- An Experimental Spatio-Temporal Model Checker
- Efficient CTMC Model Checking of Linear Real-Time Objectives
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Handbook of Spatial Logics
- Hybrid performance modelling of opportunistic networks
- Logic-based multi-objective design of chemical reaction networks
- Model checking spatial logics for closure spaces
- On the almighty wand
- Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
- Robust satisfaction of temporal logic over real-valued signals
- Robustness of temporal logic specifications for continuous-time signals
- SpaTeL: a novel spatial-temporal logic and its applications to networked systems
- Spatial logic and spatial model checking for closure spaces
- Specifying and Verifying Properties of Space
- System design of stochastic models using robustness of temporal properties
- The Temporal Logic of Rewriting: A Gentle Introduction
- The benefits of relaxing punctuality
- The chemical basis of morphogenesis
- Time robustness in MTL and expressivity in hybrid system falsification
- Tools and Algorithms for the Construction and Analysis of Systems
Cited in
(15)- Back-and-forth in space: on logics and bisimilarity in closure spaces
- Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
- Spatial logic and spatial model checking for closure spaces
- Minimisation of spatial models using branching bisimilarity
- SpaTeL: a novel spatial-temporal logic and its applications to networked systems
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- RCR report for analysis of spatiotemporal properties of stochastic systems using TSTL
- STL*: extending signal temporal logic with signal-value freezing operator
- A Spatial Logic for Simplicial Models
- Three-valued spatio-temporal logic: a further analysis on spatio-temporal properties of stochastic systems
- On bisimilarity for polyhedral models and \texttt{SLCS}
- Geometric Model Checking of Continuous Space
- Mining interpretable spatio-temporal logic properties for spatially distributed systems
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Spatio-temporal model-checking of cyber-physical systems using graph queries
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)
