No label defined (Q5028457)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7471693

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7471693

Statements

scholarly article

0 references

0 references

0 references

Luca Bortolussi

0 references

0 references

publication date

9 February 2022

0 references

full work available at URL

https://arxiv.org/abs/2105.11400

0 references

https://lmcs.episciences.org/8936

0 references

zbMATH Keywords

spatio-temporal logic

0 references

monitoring

0 references

cyber-physical syste

0 references

describes a project that uses

0 references

MaRDI profile type

MaRDI publication profile

0 references

Timed regular expressions

0 references

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks

0 references

Handbook of Spatial Logics

0 references

Mathematical Models in Epidemiology

0 references

An Experimental Spatio-Temporal Model Checker

0 references

Semiring-based constraint satisfaction and optimization

0 references

Specifying and Verifying Properties of Space

0 references

Spatial Logic and Spatial Model Checking for Closure Spaces

0 references

0 references

“Sometimes” and “not never” revisited

0 references

Quad trees: A data structure for retrieval by composite keys

0 references

Discrete Mereotopology

0 references

Quantitative \(\mu\)-calculus and CTL defined over constraint semirings

0 references

Mining interpretable spatio-temporal logic properties for spatially distributed systems

0 references

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5028457

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5028457&oldid=36765801"