POMDP Policy Synthesis on cheese-maze
0.01Execution TimePAYNT
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| PAYNT|S|=15, |Z|=8, alpha=0.82026.05 | 0.01 | 1 | — | — | — | |
| Cplus(S, S)|S|=15, |Z|=8, alpha=0.82026.05 | 2.83 | 12 | 1 | — | — | |
| Cplus(D, S)|S|=15, |Z|=8, alpha=0.82026.05 | 7.95 | 14 | 1 | — | — | |
| STORM|S|=15, |Z|=8, alpha=0.82026.05 | 231.64 | — | — | 1.7 | 99 |