Program equilibrium - a program reasoning approach.

Wiebe van der Hoek Cees Witteveen Michael J. Wooldridge

Published in: Int. J. Game Theory (2013)

Keyphrases

static analysis
data sets
program execution
databases
information retrieval
computer programs
test cases
multiscale
game theory
case based reasoning
cooperative
data structure
database
similarity measure
database systems
high level
decision making
real time