Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
MDP Policy Reachability on Rabin 3
Loading...
3.9
State Coverage (%)
RL from Reachability with Asymptotic Guarantees
3.705
3.8025
3.9
3.9975
May 23, 2026
State Coverage (%)
Transition Coverage (%)
Expected Accuracy
Observed Accuracy
Convergence Stages
Samples to Convergence
Updated 8d ago
Evaluation Results
Method
Method
Links
State Coverage (%)
Transition Coverage (%)
Expected Accuracy
Observed Accuracy
Convergence Stages
Samples to Convergence
RL from Reachability with Asymptotic Guarantees
# of States=27766, # o...
2026.05
3.9
2
1
1
2
453,868
Feedback
Search any
task
Search any
task