An n log n Alogrithm for Deterministic Kripke Structure Minimization [article]

Karl Meinke, Muddassar A. Sindhu
2012 arXiv   pre-print
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.
arXiv:1205.5928v1 fatcat:ekjtlvnyrndftii2am5baviqea