Similar Items: Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL
- Data-Driven Spatio-Temporal Filters for Crosstalk Reduction in High-Density Surface EMG
- Architectures in parametric component-based systems: Qualitative and quantitative modelling
- Expressiveness and Closure Properties for Quantitative Languages
- Safety and Liveness of Quantitative Properties and Automata
- On the Expressiveness and Monitoring of Metric Temporal Logic
- Spatio-Temporal Graph Convolutional Network Incorporating Knowledge Graph Embeddings for Hydrological Time Series Prediction