ResearchTasksInfinite-state Reachability Game SolvingInfinite-state Reachability Game SolvingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA 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