List your company

Pursuit-Evasion with Rendezvous on Pursuit-Evasion with Rendezvous Scenario 3

0.23Execution Time (s)VI-OPT
-1.657211.081423.8236.5586Mar 7, 2026

Evaluation results

MethodLinks
VI-OPTRandomness Type=Individual, Team=2, States=64, Transitions=7292026.030.2329.66
ETR-DirectRandomness Type=Shared, Team=2, States=64, Transitions=7292026.030.48100—
PRISMRandomness Type=Shared, Team=2, States=64, Transitions=7292026.031.3499.9—
VI-HybridRandomness Type=Individual, Team=2, States=64, Transitions=7292026.031.7729.66
VI-OPTRandomness Type=Shared, Team=2, States=64, Transitions=7292026.032.2799100
VI-HybridRandomness Type=Shared, Team=2, States=64, Transitions=7292026.036.1299100
VI-ETRRandomness Type=Individual, Team=2, States=64, Transitions=7292026.0314.3829.66
VI-ETRRandomness Type=Shared, Team=2, States=64, Transitions=7292026.0347.419998