The following pages link to (Q4553288):
Displaying 6 items.
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- Mining interpretable spatio-temporal logic properties for spatially distributed systems (Q2147182) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- (Q4553288) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
