Almost-sure reachability on Pursuit-Evasion Scenario 3
0.29Time (s)SAT-Direct
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SAT-DirectStates=125, Trans=4913, Randomness Type=Individual2026.03 | 0.29 | — | |
| SAT-DirectStates=125, Trans=4913, Randomness Type=Shared2026.03 | 0.33 | — | |
| PRISM-QualStates=125, Trans=4913, Randomness Type=Shared2026.03 | 1.39 | — |