Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (Q3189650)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition |
scientific article |
Statements
Efficient and Dynamic Algorithms for Alternating Büchi Games and Maximal End-Component Decomposition (English)
0 references
12 September 2014
0 references
Büchi objectives
0 references
graph games
0 references
dynamic graph algorithms
0 references
graph algorithms
0 references
verification
0 references
synthesis
0 references
0 references
0 references
