“…Similar to mapl-cirup, SPUDD (Hoey et al 1999) is a variation of the classic value iteration algorithm using Although SPUDD was introduced over two decades ago, it is still considered the state-of-the-art approach for solving factored MDPs exactly, as mentioned in multiple recent publications on approximate methods (Hayes et al 2021;Heß, Sundermann, and Thüm 2021;Moreira et al 2021;Dudek, Shrotri, and Vardi 2022;Tan and Nejat 2022). Vlasselaer et al (2016) investigate how dynamic Bayesian networks (Murphy 2002) benefit from knowledge compilation techniques.…”