Nomination for ETAPS 2024 Best Paper Award

The paper “Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains” by Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler has been nominated for one of the ETAPS 2024 best paper awards. (For Tim, this is the second year in a row to be nominated for such an award.)