The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The approximate correctness of systems based on \(\delta\)-bisimulation |
scientific article |
Statements
The approximate correctness of systems based on \(\delta\)-bisimulation (English)
0 references
23 April 2018
0 references
limit
0 references
correctness
0 references
bisimulation
0 references
complete lattice
0 references
fuzzy system
0 references
