Window Mean-Payoff Satisfaction on MDPs with Fixed Window Mean-Payoff (FWMP(ℓ))
1Lower Memory Boundsure
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| sureWinning condition=sure2026.05 | 1 | — | — | |
| almost-sureWinning condition=almost-sure2026.05 | 1 | — | — | |
| Sure-limit-sure (SLS)Winning condition=SLS, Reference=Theorem 292026.05 | 1 | — | 1 |