Almost-sure reachability on Pursuit-Evasion Scenario 4
0.6Reachability TimeSAT-Direct
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| SAT-DirectStates=216, Trans=5832, Randomness Type=Shared2026.03 | 0.6 | — | |
| SAT-DirectStates=216, Trans=5832, Randomness Type=Individual2026.03 | 0.67 | — | |
| PRISM-QualStates=216, Trans=5832, Randomness Type=Shared2026.03 | 1.43 | — |