COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management
L'article présente l'application de l'outil COOL-MC pour vérifier et expliquer une politique d'apprentissage par renforcement destinée à la gestion des stocks de plaquettes, démontrant ainsi la viabilité d'une prise de décision transparente et auditable dans les chaînes d'approvisionnement de santé critiques.