ResearchBenchmarksPolicy Synthesis on wlan3 PmaxPolicy Synthesis on wlan3 PmaxFollow0.047Time (s)PRISM-0.162321.250592.66354.07641Jun 21, 2025Evaluation resultsMethodMethodLinksTime (s)SpeedupPRISMStates=97K, Type=Proto...States=97K, Type=Protocol, Partition=SCC, D=3, theta=0.052025.060.047—SHARPStates=97K, Type=Proto...States=97K, Type=Protocol, Partition=SCC, D=3, theta=0.052025.065.280.01