cotalks.dev

Fixed-point Error Bounds for Mean-payoff Markov Decision Processes

(link)
note