Modular strategies for infinite games on recursive graphs

Keyphrases

• Automata 100%
• Infinite Games 100%
• Recursive Graph 100%
• Modular Strategy 100%
• NP-complete 50%
• Time Complexity 50%
• Recursive Method 50%
• Internal Nodes 50%
• Complexity Bounds 50%
• CA Model 50%
• Control Flow 50%
• Invocation 50%
• Game Graphs 50%
• Linear Temporal Logic 50%
• Synthesis Algorithm 50%
• Doubly Exponential 50%
• EXPTIME-complete 50%
• Sequential Programs 50%
• Solving Games 50%
• Pushdown Games 50%
• Recursive Games 50%
• Alternating Tree Automata 50%

Computer Science

• Automaton 100%
• Control Flow 50%
• Time Complexity 50%
• Procedure Call 50%
• Linear Temporal Logic 50%
• Synthesis Algorithm 50%
• Tree Automaton 50%
• Sequential Program 50%