On reachability-related games on vector addition systems with states (Q1675147)
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 reachability-related games on vector addition systems with states |
scientific article; zbMATH DE number 6798766
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On reachability-related games on vector addition systems with states |
scientific article; zbMATH DE number 6798766 |
Statements
On reachability-related games on vector addition systems with states (English)
0 references
27 October 2017
0 references
0.8141569495201111
0 references
0.8080094456672668
0 references
0.7800304889678955
0 references
0.7603567838668823
0 references
0.7591530680656433
0 references
