Probabilistic Model Checking on ICU-Sepsis
87.51Survival ProbabilityCOOL-MC
Evaluation Results
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| COOL-MCinduced DTMC=Dπ, action encoding=fl_i vp_j2026.02 | 87.51 | 12.49 | 21.59 | 54.14 | 10.29 | 100 |
Loading the SOTA2 catalog…
| Method | Links | ||||||
|---|---|---|---|---|---|---|---|
| COOL-MCinduced DTMC=Dπ, action encoding=fl_i vp_j2026.02 | 87.51 | 12.49 | 21.59 | 54.14 | 10.29 | 100 |