Paper in LNCS 10,000

The paper entitled “The 10,000 Facets of MDP Model Checking” by Christel Baier, Holger Hermanns and Joost-Pieter Katoen just (finally) appeared in LNCS volume 10,000, Computing and Software Science: State of the Art and Perspectives.