ResearchBenchmarksRobot Coordination Shared Randomness Scenario 2Robot Coordination Shared Randomness Scenario 2Follow1.74Execution Time (s)PRISM0.87726.701112.52518.3489Mar 7, 2026Evaluation resultsMethodMethodLinksExecution Time (s)Primary ValueIteration CountPRISMTeam Size=2, States=36...Team Size=2, States=36, Transitions=45002026.031.7411.5—VI-OPTTeam Size=2, States=36...Team Size=2, States=36, Transitions=45002026.032.8111.58VI-HybridTeam Size=2, States=36...Team Size=2, States=36, Transitions=45002026.0313.611.58VI-ETRTeam Size=2, States=36...Team Size=2, States=36, Transitions=45002026.0323.3111.58