Finite-memory strategy synthesis for robust multidimensional mean-payoff objectives.

Published in: CSL-LICS (2014)

Keyphrases

data streams
computationally efficient
multiple objectives
search engine
information systems
case study
search algorithm
game theory
parameter tuning
memory usage
multidimensional signals