%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