TY - RPRT TI - COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management AU - Dennis Gross PY - 2026 UR - https://arxiv.org/abs/2603.02396 ID - 2603.02396 ER -