POMDP Policy Synthesis on hallway
0.01Execution TimeSTORM
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| STORM|S|=16, |Z|=3, alpha=0.992026.05 | 0.01 | — | — | 3 | 1 | |
| PAYNT|S|=16, |Z|=3, alpha=0.992026.05 | 1.44 | 5 | — | — | — | |
| Cplus(S, S)|S|=16, |Z|=3, alpha=0.992026.05 | 49.32 | 24 | 3 | — | — | |
| Cplus(D, S)|S|=16, |Z|=3, alpha=0.992026.05 | 78.11 | 25 | 3 | — | — |