A variant of DiSProD won the Probabilistic and Reinforcement Learning Track in IPC 2023.