Synthesising Succinct Strategies in Safety and Reachability Games (Q3447698)
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: Synthesising Succinct Strategies in Safety and Reachability Games |
scientific article; zbMATH DE number 6499385
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Synthesising Succinct Strategies in Safety and Reachability Games |
scientific article; zbMATH DE number 6499385 |
Statements
Synthesising Succinct Strategies in Safety and Reachability Games (English)
0 references
28 October 2015
0 references
0.92157817
0 references
0.89076567
0 references
0.87697977
0 references
0.8756112
0 references
0.87400794
0 references
0.86361694
0 references
0.85832745
0 references
0.85769653
0 references
0.85590196
0 references
