ResearchDatasetsCinderella-Stepmother gameCinderella-Stepmother gameFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsInfinite-state Reachability Game SolvingCinderella-Stepmother game linear transition relation classical0.3Time (s)11Infinite-state Reachability Game SolvingCinderella-Stepmother game polynomial transition relation non-linear variant0.4Time (s)4
Infinite-state Reachability Game SolvingCinderella-Stepmother game linear transition relation classical0.3Time (s)11
Infinite-state Reachability Game SolvingCinderella-Stepmother game polynomial transition relation non-linear variant0.4Time (s)4