Warehouse MDPs
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Policy Synthesis | Warehouse MDPs Property: Rmin R{“steps”}min=? [F “goal”] W512/W1024 | Time (s)10.36 | 30 | |
| Policy Synthesis | Warehouse MDPs Property: Pmax F “goal” W512 W1024 | Time (s)5.94 | 30 |
Showing 2 of 2 rows