The following pages link to SpaTeL (Q2988938):
Displaying 9 items.
- A multiprocess network logic with temporal and spatial modalities (Q1058846) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- An STL-based formulation of resilience in cyber-physical systems (Q2112110) (← links)
- System design of stochastic models using robustness of temporal properties (Q2348023) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- (Q4553288) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- Spatio-Temporal Model-Checking of Cyber-Physical Systems Using Graph Queries (Q6487260) (← links)
- Analysis of spatio-temporal properties of stochastic systems using TSTL (Q6600061) (← links)
