ResearchBenchmarksPolicy Synthesis on arenas Rmin 16Follow152.75Execution Time (s)SHARP147.0388185.5894224.14262.6906Jun 21, 2025Evaluation ResultsMethodMethodLinksExecution Time (s)SpeedupSHARPStates=788K, Type=Sequ...States=788K, Type=Sequential, Partition=Counter, D=3, theta=0.052025.06152.751.93PRISMStates=788K, Type=Sequ...States=788K, Type=Sequential, Partition=Counter, D=3, theta=0.052025.06295.53—