ResearchBenchmarksRobot Coordination Shared Randomness Scenario 3Robot Coordination Shared Randomness Scenario 3Follow2.56Execution Time (s)PRISM-0.068817.675635.4253.1644Mar 7, 2026Evaluation resultsMethodMethodLinksExecution Time (s)Primary Value ScoreIteration CountPRISMTeam Size=2, States=81...Team Size=2, States=81, Transitions=101252026.032.563.8—VI-OPTTeam Size=2, States=81...Team Size=2, States=81, Transitions=101252026.039.543.69VI-HybridTeam Size=2, States=81...Team Size=2, States=81, Transitions=101252026.0342.593.89VI-ETRTeam Size=2, States=81...Team Size=2, States=81, Transitions=101252026.0368.283.89