ETAPS Best Paper Award

The paper entitled “Accurately Computing Expected Visiting Times and Stationary Distributions in Markov Chains” by Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler has received the EAPLS (Eur. Association of Programming Languages) Best Paper Award@ETAPS 2024. The paper provides efficient and scalable algorithms to compute expected visiting times in Markov chains, and shows how this can be used to compute reachability probabilities, stationary distributions and conditional expected rewards. The paper has been selected among 352 submitted papers to ETAPS 2024.