Latticed simulation relations and games (Q3552519)
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 5697180
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Latticed simulation relations and games |
scientific article; zbMATH DE number 5697180 |
Statements
LATTICED SIMULATION RELATIONS AND GAMES (English)
0 references
22 April 2010
0 references
latticed Kripke structures
0 references
latticed two-player games
0 references
0.9995362758636476
0 references
0.8085972666740417
0 references
0.8067560195922852
0 references
0.787797212600708
0 references
