ResearchBenchmarksPolicy Synthesis on arenas8 RminPolicy Synthesis on arenas8 RminFollow2.29Execution Time (s)PRISM2.2642.43952.6152.7905Jun 21, 2025Evaluation resultsMethodMethodLinksExecution Time (s)Speedup FactorPRISMStates=53K, Type=Seque...States=53K, Type=Sequential, Partition=SCC, D=3, theta=0.052025.062.29—SHARPStates=53K, Type=Seque...States=53K, Type=Sequential, Partition=SCC, D=3, theta=0.052025.062.940.78