Filters








1 Hit in 3.0 sec

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.  ...  Conclusions We have given an algorithm for the minimization of deterministic Kripke structures with worst case time complexity O(kn log 2 n).  ...  By contrast, we will show that deterministic Kripke structures can be efficiently minimized even up to language equivalence with a worst case time complexity of O(kn log 2 n).  ... 
arXiv:1205.5928v1 fatcat:ekjtlvnyrndftii2am5baviqea