On bisimilarity for polyhedral models and \texttt{SLCS} (Q6535467)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On bisimilarity for polyhedral models and \texttt{SLCS} |
scientific article; zbMATH DE number 7786546
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On bisimilarity for polyhedral models and \texttt{SLCS} |
scientific article; zbMATH DE number 7786546 |
Statements
On bisimilarity for polyhedral models and \texttt{SLCS} (English)
0 references
11 January 2024
0 references
bisimulation relations
0 references
spatial bisimilarity
0 references
spatial logics
0 references
logical equivalence
0 references
spatial model checking
0 references
polyhedral models
0 references
0 references
0.8026023507118225
0 references
0.7900446057319641
0 references
0.7160555720329285
0 references
0.7129883766174316
0 references
0.7111192345619202
0 references
