POMDP Policy Synthesis on cards-added 4
0.01Execution TimeSTORM
Evaluation results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| STORM|S|=197, |Z|=12, alpha=0.52026.05 | 0.01 | — | — | 2,526 | 0.56 | |
| Cplus(S, S)|S|=197, |Z|=12, alpha=0.52026.05 | 184.11 | 108 | 19 | — | — | |
| Cplus(D, S)|S|=197, |Z|=12, alpha=0.52026.05 | 224.87 | 356 | 9 | — | — |