Year 2019
[FSTTCS 2019] B. Bordais, S. Guha, J-F. Raskin.
Expected Window Mean Payoff [published version] [extended version (arxiv)].
[RSSRail 2019] N. Bertrand, B. Bordais, L. Hélouët, T. Mari, J. Parreaux, O. Sankur.
Performance Evaluation of Metro Regulations Using Probabilistic Model-checking [pdf].