Chatterjee, K., Katoen, J. P., Mohr, S., Weininger, M., &; Winkler, T. (2023). Stochastic games with lexicographic objectives. Formal Methods in System Design. Springer Nature.https://doi.org/10.1007/s10703-023-00411-4 

Chatterjee, K., Ibsen-Jensen, R., &; Pavlogiannis, A. (2021). Faster algorithms for quantitative verification in bounded treewidth graphs. Formal Methods in System Design. Springer.https://doi.org/10.1007/s10703-021-00373-5