ResearchDatasetsrocksFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsPOMDP Policy Synthesisrocks (N=4)0.05Synthesis Time4POMDP Planningrocks-16 POMDP PRISM format (original/enlarged)-51.49IQM Value4