scientific article; zbMATH DE number 7471693
From MaRDI portal
Publication:5028457
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2105.11400
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Geometric Model Checking of Continuous Space ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software)
Uses Software
Cites Work
- Unnamed Item
- Quad trees: A data structure for retrieval by composite keys
- Mining interpretable spatio-temporal logic properties for spatially distributed systems
- Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
- Spatial Logic and Spatial Model Checking for Closure Spaces
- Specifying and Verifying Properties of Space
- Timed regular expressions
- Discrete Mereotopology
- Handbook of Spatial Logics
- “Sometimes” and “not never” revisited
- Semiring-based constraint satisfaction and optimization
- A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
- An Experimental Spatio-Temporal Model Checker
- Mathematical Models in Epidemiology
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
This page was built for publication:
