Pareto-Rational Verification.

Véronique Bruyère Jean-François Raskin Clément Tamines

Published in: CoRR (2022)

Keyphrases

multi objective
model checking
multi objective optimization
face verification
concurrent systems
database
decision making
signature verification
formal verification
neural network
data mining
machine learning
computer vision
verification method
bounded rationality