Synthesizing Dominant Strategies for Liveness (Full Version).

Bernd Finkbeiner Noemi Passing

Published in: CoRR (2022)

Keyphrases

optimal strategy
database
neural network
information systems
web pages
multiscale
pairwise
data model
multi class
online auctions
optimization strategies