Ranking Automata and Games for Prioritized Requirements.
Rajeev AlurAditya KanadeGera WeissPublished in: CAV (2008)
Keyphrases
- ranking algorithm
- ranking functions
- learning to rank
- user requirements
- web search
- cellular automata
- computer games
- probabilistic automata
- nash equilibria
- functional requirements
- application specific
- user feedback
- link analysis
- online game
- nash equilibrium
- possibilistic logic
- finite automata
- coalitional games
- perfect information
- cooperative