Exactly Optimal Quickest Change Detection of Markov Chains. - Jason J. Ford; Justin M. Kennedy; Caitlin Tompkins; Jasmin James; Aaron McFadyen (IEEE Control. Syst. Lett., 2023)