The following pages link to (Q4553288):
Displayed 8 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)
- Back-and-forth in space: on logics and bisimilarity in closure spaces (Q6163883) (← links)
- Minimisation of spatial models using branching bisimilarity (Q6174538) (← links)