List your company

Pursuit-Evasion with Rendezvous on Pursuit-Evasion with Rendezvous Scenario 1

0.02Execution Time (s)VI-OPT
-0.1561.0322.223.408Mar 7, 2026

Evaluation results

MethodLinks
VI-OPTRandomness Type=Shared, Team=2, States=27, Transitions=5122026.030.020.52
VI-HybridRandomness Type=Shared, Team=2, States=27, Transitions=5122026.030.050.52
VI-ETRRandomness Type=Shared, Team=2, States=27, Transitions=5122026.030.40.52
VI-OPTRandomness Type=Individual, Team=2, States=27, Transitions=5122026.030.540.296
VI-HybridRandomness Type=Individual, Team=2, States=27, Transitions=5122026.030.580.296
PRISMRandomness Type=Shared, Team=2, States=27, Transitions=5122026.031.580.5—
VI-ETRRandomness Type=Individual, Team=2, States=27, Transitions=5122026.034.420.296