TY - RPRT TI - madupite: A High-Performance Distributed Solver for Large-Scale Markov Decision Processes AU - Matilde Gargiani AU - Robin Sieber AU - Philip Pawlowsky AU - Václav Hapla AU - John Lygeros PY - 2025 UR - https://arxiv.org/abs/2502.14474 ID - 2502.14474 ER -