LTL is closed under topological closure (Q2448112)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6290407
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | LTL is closed under topological closure |
scientific article; zbMATH DE number 6290407 |
Statements
LTL is closed under topological closure (English)
0 references
30 April 2014
0 references
specification languages
0 references
LTL
0 references
safety
0 references
liveness
0 references
Büchi automata
0 references
0.8139379620552063
0 references
0.753104567527771
0 references
0.7519562244415283
0 references
