ResearchBenchmarksPolicy Synthesis on zeroconf RminFollow0.04Execution Time (s)PRISM0.032640.082320.1320.18168Jun 21, 2025Evaluation ResultsMethodMethodLinksExecution Time (s)SpeedupPRISMStates=1.1K, Type=Prot...States=1.1K, Type=Protocol, Partition=SCC, D=3, theta=0.052025.060.04—SHARPStates=1.1K, Type=Prot...States=1.1K, Type=Protocol, Partition=SCC, D=3, theta=0.052025.060.2240.18