@misc{indiciae5128d2058ad6, title = {COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management}, author = {Dennis Gross}, year = {2026}, url = {https://arxiv.org/abs/2603.02396}, note = {Source identifier: 2603.02396} }