On Computational Tractability for Rational Verification.

Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael J. Wooldridge

Published in: IJCAI (2019)

Keyphrases

decision making
np complete
constraint satisfaction
face verification
data sets
machine learning
model checking
computational models
learning algorithm
social networks
hidden markov models
linear programming
computational power
formal analysis