Scenario Aggregation using Binary Decision Diagrams for Stochastic Programs with Endogenous Uncertainty.

Utz-Uwe Haus Carla Michini Marco Laumanns

Published in: CoRR (2017)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
partial observability
variable ordering
planning problems
model checking
preference aggregation
database
databases
real world
machine learning