The paper “Minimal Counterexamples for Linear-Time Probabilistic Verification” by Ralf Wimmer, Nils Jansen, Erika Ábrahám, Joost-Pieter Katoen and Bernd Becker was accepted for publication in the journal Theoretical Computer Science. The paper thoroughly examines the possibilities for computing so-called minimal critical subsystems for Markov decision processes by means of mixed integer linear programming.