Keyphrases
Bidding Game
100%
Token
92%
Infinite Duration
39%
Network Games
38%
Graph Games
38%
Abstraction Refinement
34%
Resource Allocation Games
30%
Automata
29%
Weighted Automata
28%
Bidding Mechanism
27%
Formal Methods
24%
Pure Nash Equilibrium
24%
Discrete Bidding Games
23%
Containment
23%
Games on Graphs
23%
Reachability
23%
Bidders
21%
Infinite Duration Games
21%
Network Formation Games
20%
Infinite Path
20%
Computer Science
Nash Equilibrium
52%
Resource Allocation
43%
Weighted Automaton
38%
Optimal Strategy
38%
Automaton
38%
Granularity
30%
Approximation (Algorithm)
28%
State Space
27%
Network Formation
27%
Function Mapping
23%
Allocation Problem
23%
Library Component
23%