Window Mean-Payoff Satisfaction on MDPs with Bounded Window Mean-Payoff (BWMP)
1Upper Memory BoundSure-limit-sure (SLS)
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Sure-limit-sure (SLS)Winning condition=SLS, Reference=Theorem 302026.05 | 1 | — | 1 | |
| Sure-almost-sure (SAS)Winning condition=SAS, Reference=Theorem 272026.05 | 3 | — | — |