%0 Journal Article %T An n log n Alogrithm for Deterministic Kripke Structure Minimization %A Karl Meinke %A Muddassar A. Sindhu %J Computer Science %D 2012 %I arXiv %X We introduce an algorithm for the minimization of deterministic Kripke structures with O(kn log2 n) time complexity. We prove the correctness and complexity properties of this algorithm. %U http://arxiv.org/abs/1205.5928v1