1. Alur, R., Henzinger, T.A.: Finitary fairness. In: LICS. pp. 52–61. IEEE Computer Society (1994)
2. Baier, C., Katoen, J.: Principles of model checking. MIT Press (2008)
3. Bordais, B., Guha, S., Raskin, J.F.: Expected window mean-payoff. In: FSTTCS. LIPIcs, vol. 150, pp. 32:1–32:15 (2019)
4. Brihaye, T., Delgrange, F., Oualhadj, Y., Randour, M.: Life is Random, Time is Not: Markov Decision Processes with Window Objectives. Logical Methods in Computer Science Volume 16, Issue 4 (Dec 2020)
5. Bruyère, V., Hautem, Q., Randour, M.: Window parity games: an alternative approach toward parity games with time bounds. In: GandALF. EPTCS, vol. 226, pp. 135–148 (2016)