ResearchBenchmarksRobot Coordination Shared Randomness Scenario 4Robot Coordination Shared Randomness Scenario 4Follow3.64Execution Time (s)PRISM-1.95835.828573.615111.4015Mar 7, 2026Evaluation resultsMethodMethodLinksExecution Time (s)Primary Performance ValueNumber of IterationsPRISMTeam Size=2, States=14...Team Size=2, States=144, Transitions=180002026.033.640.011—VI-OPTTeam Size=2, States=14...Team Size=2, States=144, Transitions=180002026.0317.10.0110VI-HybridTeam Size=2, States=14...Team Size=2, States=144, Transitions=180002026.0396.530.01110VI-ETRTeam Size=2, States=14...Team Size=2, States=144, Transitions=180002026.03143.590.01110