Improved algorithms for parity and Streett objectives (Q5367065)
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 6790163
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Improved algorithms for parity and Streett objectives |
scientific article; zbMATH DE number 6790163 |
Statements
12 October 2017
0 references
computer-aided verification
0 references
synthesis
0 references
graph games
0 references
parity games
0 references
Streett automata
0 references
graph algorithms
0 references
0.9406489729881288
0 references
0.8084204196929932
0 references
0.8028507828712463
0 references
0.7978687286376953
0 references
0.7926918864250183
0 references
