On timed alternating simulation for concurrent timed games (Q715043)
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 6093691
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On timed alternating simulation for concurrent timed games |
scientific article; zbMATH DE number 6093691 |
Statements
On timed alternating simulation for concurrent timed games (English)
0 references
15 October 2012
0 references
0 references
0.9999999
0 references
0 references
0.8863131
0 references
0 references
0 references
0 references
0 references
0.8675262
0 references
0.8581717
0 references
0.85805345
0 references
