POMDP Policy Synthesis on cheese-maze-det
0.01Execution TimePAYNT
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| PAYNT|S|=15, |Z|=8, alpha=0.82026.05 | 0.01 | 2 | — | — | — | |
| STORM|S|=15, |Z|=8, alpha=0.82026.05 | 0.01 | — | — | 22 | 100 | |
| Cplus(S, S)|S|=15, |Z|=8, alpha=0.82026.05 | 1.52 | 9 | 1 | — | — | |
| Cplus(D, S)|S|=15, |Z|=8, alpha=0.82026.05 | 6.1 | 9 | 1 | — | — |