List your company

Pursuit-Evasion with Rendezvous on Pursuit-Evasion with Rendezvous Scenario 4

0.27Execution Time (s)VI-OPT
-2.791217.871938.53559.1981Mar 7, 2026

Evaluation results

MethodLinks
VI-OPTRandomness Type=Individual, Team=2, States=125, Transitions=13312026.030.2734.84
PRISMRandomness Type=Shared, Team=2, States=125, Transitions=13312026.031.3699.9—
VI-HybridRandomness Type=Individual, Team=2, States=125, Transitions=13312026.032.0634.84
VI-OPTRandomness Type=Shared, Team=2, States=125, Transitions=13312026.033.6699.372
VI-HybridRandomness Type=Shared, Team=2, States=125, Transitions=13312026.0310.1999.372
VI-ETRRandomness Type=Individual, Team=2, States=125, Transitions=13312026.0335.2134.84
VI-ETRRandomness Type=Shared, Team=2, States=125, Transitions=13312026.0376.899.370