POMDP Policy Synthesis on hallway-simple-50
1Execution TimeSTORM
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| STORM|S|=154, |Z|=4, alpha=0.992026.05 | 1 | — | — | 156 | 1 | |
| Cplus(S, S)|S|=154, |Z|=4, alpha=0.992026.05 | 22.61 | 53 | 2 | — | — | |
| Cplus(D, S)|S|=154, |Z|=4, alpha=0.992026.05 | 138.77 | 53 | 2 | — | — |