ResearchBenchmarksPolicy Synthesis on firewire RminPolicy Synthesis on firewire RminFollow0.038Execution Time (s)PRISM0.032040.072270.11250.15273Jun 21, 2025Evaluation resultsMethodMethodLinksExecution Time (s)Speedup (x)PRISMStates=4K, Type=Protoc...States=4K, Type=Protocol, Partition=Counter, D=3, theta=0.052025.060.038—SHARPStates=4K, Type=Protoc...States=4K, Type=Protocol, Partition=Counter, D=3, theta=0.052025.060.1870.2