Local Decision and Verification with Bounded-Size Outputs.

Heger Arfaoui Pierre Fraigniaud Andrzej Pelc

Published in: SSS (2013)

Keyphrases

decision making
decision makers
model checking
decision rules
databases
standard deviation
case study
computational complexity
evolutionary algorithm
decision problems
decision model