Wei Zhao, Wanwei Liu, Zhiming Liu, Tiexin Wang. "A synthesis method for zero-sum mean-payoff asynchronous probabilistic games." Scientific Reports (2025). https://doi.org/10.1038/s41598-025-85589-9