Policy Synthesis on Warehouse MDPs Property: Pmax F “goal” W512 W1024
5.94Time (s)PRISM-GS
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| PRISM-GSInstance=W512SW-a, Refinement=nopre2025.06 | 5.94 | 1,889 | 56.7 | |
| PRISM-VIInstance=W512SW-a, Refinement=nopre2025.06 | 5.96 | 1,889 | 56.7 | |
| PRISM-VIInstance=W512MW-a, Refinement=nopre2025.06 | 6.01 | 1,928 | 56.7 | |
| PRISM-GSInstance=W512MW-a, Refinement=nopre2025.06 | 6.05 | 1,926 | 56.7 | |
| PRISM-GSInstance=W512NW-a, Refinement=nopre2025.06 | 6.14 | 1,899 | 56.7 | |
| PRISM-VIInstance=W512NW-a, Refinement=nopre2025.06 | 6.27 | 1,901 | 56.7 | |
| SHARPInstance=W512MW-a, D=1, theta=0.5, Blocks=8/82025.06 | 7.61 | 8,506 | 56.7 | |
| SHARPInstance=W512NW-a, D=1, theta=0.5, Blocks=8/82025.06 | 7.99 | 8,371 | 56.7 | |
| SHARPInstance=W512SW-a, D=1, theta=0.5, Blocks=8/82025.06 | 8.29 | 8,369 | 56.7 | |
| PRISM-GSInstance=W512SW-a, Refinement=pre2025.06 | 15.27 | 1,900 | 56.7 | |
| PRISM-GSInstance=W512NW-a, Refinement=pre2025.06 | 15.54 | 1,905 | 56.7 | |
| PRISM-GSInstance=W512MW-a, Refinement=pre2025.06 | 15.62 | 1,932 | 56.7 | |
| PRISM-VIInstance=W512NW-a, Refinement=pre2025.06 | 15.69 | 1,907 | 56.7 | |
| PRISM-VIInstance=W512SW-a, Refinement=pre2025.06 | 15.72 | 1,912 | 56.7 | |
| PRISM-VIInstance=W512MW-a, Refinement=pre2025.06 | 15.75 | 1,935 | 56.7 | |
| SHARPInstance=W1024SW-a, D=1, theta=1.0, Blocks=8/82025.06 | 39.1 | 20,029 | 32.1 | |
| SHARPInstance=W1024MW-a, D=1, theta=0.5, Blocks=8/82025.06 | 40.84 | 19,339 | 32.1 | |
| PRISM-GSInstance=W1024MW-a, Refinement=nopre2025.06 | 46.3 | 6,597 | 32.1 | |
| PRISM-VIInstance=W1024MW-a, Refinement=nopre2025.06 | 46.63 | 6,612 | 32.1 | |
| PRISM-GSInstance=W1024SW-a, Refinement=nopre2025.06 | 46.68 | 6,242 | 32.1 | |
| SHARPInstance=W1024NW-a, D=1, theta=0.5, Blocks=8/82025.06 | 47.23 | 19,769 | 27.8 | |
| PRISM-VIInstance=W1024SW-a, Refinement=nopre2025.06 | 47.3 | 6,268 | 32.1 | |
| PRISM-GSInstance=W1024NW-a, Refinement=nopre2025.06 | 47.41 | 6,204 | 27.8 | |
| PRISM-VIInstance=W1024NW-a, Refinement=nopre2025.06 | 53.57 | 6,213 | 27.8 | |
| PRISM-GSInstance=W1024MW-a, Refinement=pre2025.06 | 121.75 | 6,630 | 32.1 | |
| PRISM-GSInstance=W1024SW-a, Refinement=pre2025.06 | 122.02 | 6,300 | 32.1 | |
| PRISM-GSInstance=W1024NW-a, Refinement=pre2025.06 | 123.41 | 6,228 | 27.8 | |
| PRISM-VIInstance=W1024MW-a, Refinement=pre2025.06 | 125.17 | 6,608 | 32.1 | |
| PRISM-VIInstance=W1024SW-a, Refinement=pre2025.06 | 125.55 | 6,262 | 32.1 | |
| PRISM-VIInstance=W1024NW-a, Refinement=pre2025.06 | 129.71 | 6,209 | 27.8 |