ResearchDatasetsWarehouse MDPsWarehouse MDPsFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsPolicy SynthesisWarehouse MDPs Property: Rmin R{“steps”}min=? [F “goal”] W512/W102410.36Time (s)30Policy SynthesisWarehouse MDPs Property: Pmax F “goal” W512 W10245.94Time (s)30