Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Almost-sure reachability on Pursuit-Evasion Scenario 4
Loading...
0.6
Reachability Time
SAT-Direct
0.5668
0.7909
1.015
1.2391
Mar 7, 2026
Reachability Time
Reachability Result
Updated 2mo ago
Evaluation Results
Method
Method
Links
Reachability Time
Reachability Result
SAT-Direct
States=216, Trans=5832...
2026.03
0.6
-
SAT-Direct
States=216, Trans=5832...
2026.03
0.67
-
PRISM-Qual
States=216, Trans=5832...
2026.03
1.43
-
Feedback
Search any
task
Search any
task