On the Complexity of Rational Verification.

Julian Gutierrez Muhammad Najib Giuseppe Perelli Michael J. Wooldridge

Published in: CoRR (2022)

Keyphrases

model checking
real world
computational complexity
worst case
decision problems
data sets
neural network
image processing
three dimensional
feature extraction
similarity measure
bayesian networks