AIKIT
COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management | AIKIT