Pursuit-Evasion with Rendezvous on Pursuit-Evasion with Rendezvous Scenario 6
99.9Computed ValuePRISM
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| PRISMRandomness Type=Shared, Team=3, States=1296, Transitions=384162026.03 | 99.9 | 2.29 | — | |
| VI-OPTRandomness Type=Shared, Team=3, States=1296, Transitions=384162026.03 | 99.3 | 138.64 | 72 | |
| VI-HybridRandomness Type=Shared, Team=3, States=1296, Transitions=384162026.03 | 99.3 | 312.18 | 72 | |
| VI-ETRRandomness Type=Shared, Team=3, States=1296, Transitions=384162026.03 | 97.6 | — | 22 | |
| VI-OPTRandomness Type=Individual, Team=3, States=1296, Transitions=384162026.03 | 17.3 | 4.38 | 3 | |
| VI-ETRRandomness Type=Individual, Team=3, States=1296, Transitions=384162026.03 | 12.5 | — | 2 | |
| VI-HybridRandomness Type=Individual, Team=3, States=1296, Transitions=384162026.03 | 12.5 | — | 2 |