Algebraic sentential decision diagrams in symbolic probabilistic planningRicardo G. HerrmannLeliane N. De Barros2013BRACIS 2013