ResearchTasksInfinite-state Reachability Game SolvingFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedCinderella-Stepmother game linear transition relation classicalranking certificates0.3Time (s)11May 12, 2026Cinderella-Stepmother game polynomial transition relation non-linear variantranking certificates0.4Time (s)4May 12, 2026
Cinderella-Stepmother game linear transition relation classicalranking certificates0.3Time (s)11May 12, 2026
Cinderella-Stepmother game polynomial transition relation non-linear variantranking certificates0.4Time (s)4May 12, 2026