Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

Warehouse MDPs

Benchmarks

Task NameDataset NameSOTA ResultTrend
Policy SynthesisWarehouse MDPs Property: Rmin R{“steps”}min=? [F “goal”] W512/W1024
Time (s)10.36
30
Policy SynthesisWarehouse MDPs Property: Pmax F “goal” W512 W1024
Time (s)5.94
30
Showing 2 of 2 rows