POMDP Policy Synthesis on cards-removed-5
8Execution TimeSTORM
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| STORM|S|=306, |Z|=14, alpha=0.52026.05 | 8 | — | — | 919 | 85 | |
| Cplus(S, S)|S|=306, |Z|=14, alpha=0.52026.05 | 16.13 | 47 | 2 | — | — | |
| Cplus(D, S)|S|=306, |Z|=14, alpha=0.52026.05 | 44.74 | 118 | 2 | — | — |