Symbolic BDD and ADD Algorithms for Energy Games.

Shahar Maoz Or Pistiner Jan Oliver Ringert

Published in: SYNT@CAV (2016)

Keyphrases

computational complexity
computational cost
worst case
optimization problems
computationally efficient
orders of magnitude
times faster
recently developed
learning algorithm
data structure
game theory
data sets
high level
energy consumption
computer games
binary decision diagrams