List your company
ResearchFormerly WizWand

Policy Synthesis on Warehouse MDPs Property: Rmin R{“steps”}min=? [F “goal”] W512/W1024

10.36Time (s)PRISM-GS
6.033635.236864.4493.6432Jun 21, 2025
Updated 6mo ago

Evaluation results

MethodLinks
PRISM-GSInstance=W512NW-b, Refinement=nopre2025.0610.361,6151,277.5
PRISM-GSInstance=W512NW-b, Refinement=pre2025.0610.371,6041,277.5
PRISM-VIInstance=W512NW-b, Refinement=nopre2025.0610.921,6241,277.49
PRISM-VIInstance=W512NW-b, Refinement=pre2025.0610.961,6091,277.49
SHARPInstance=W512SW-b, D=1, theta=200, Blocks=8/82025.0612.496,4701,277.5
SHARPInstance=W512NW-b, D=1, theta=500, Blocks=8/82025.0612.586,3851,277.5
SHARPInstance=W512MW-b, D=1, theta=200, Blocks=8/82025.0612.656,4531,277.5
PRISM-GSInstance=W512SW-b, Refinement=pre2025.0614.261,1701,277.5
PRISM-GSInstance=W512SW-b, Refinement=nopre2025.0614.281,1671,277.5
PRISM-GSInstance=W512MW-b, Refinement=pre2025.0614.71,7441,277.5
PRISM-VIInstance=W512SW-b, Refinement=nopre2025.0614.931,1701,277.49
PRISM-VIInstance=W512SW-b, Refinement=pre2025.0614.931,1711,277.49
PRISM-GSInstance=W512MW-b, Refinement=nopre2025.0614.961,7351,277.5
PRISM-VIInstance=W512MW-b, Refinement=pre2025.0615.421,7341,277.49
PRISM-VIInstance=W512MW-b, Refinement=nopre2025.0615.511,7411,277.49
SHARPInstance=W1024NW-b, D=1, theta=200, Blocks=8/82025.0665.1818,1792,557.5
SHARPInstance=W1024SW-b, D=1, theta=500, Blocks=8/82025.0665.3918,2972,557.5
SHARPInstance=W1024MW-b, D=1, theta=500, Blocks=8/82025.0666.4316,9382,557.5
PRISM-GSInstance=W1024NW-b, Refinement=nopre2025.0677.325,3602,557.5
PRISM-GSInstance=W1024NW-b, Refinement=pre2025.0677.85,3632,557.5
PRISM-VIInstance=W1024NW-b, Refinement=nopre2025.0683.235,3582,557.48
PRISM-VIInstance=W1024NW-b, Refinement=pre2025.0683.295,3442,557.48
PRISM-GSInstance=W1024SW-b, Refinement=nopre2025.06112.745,4122,557.5
PRISM-GSInstance=W1024SW-b, Refinement=pre2025.06113.295,4102,557.5
PRISM-GSInstance=W1024MW-b, Refinement=nopre2025.06113.995,7782,557.5
PRISM-GSInstance=W1024MW-b, Refinement=pre2025.06114.375,7962,557.5
PRISM-VIInstance=W1024SW-b, Refinement=pre2025.06117.835,4912,557.48
PRISM-VIInstance=W1024SW-b, Refinement=nopre2025.06118.045,4272,557.48
PRISM-VIInstance=W1024MW-b, Refinement=nopre2025.06118.175,8082,557.48
PRISM-VIInstance=W1024MW-b, Refinement=pre2025.06118.525,8142,557.48