COOL-MC: Verifying and Explaining RL Policies for Platelet Inventory Management
Questo articolo presenta l'applicazione di COOL-MC per verificare e spiegare una politica di apprendimento per rinforzo nella gestione delle scorte di piastrine, dimostrandone l'efficacia nel garantire decisioni trasparenti e sicure attraverso l'analisi formale delle proprietà probabilistiche e delle spiegazioni a livello di feature.