5 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Karl Meinke, Muddassar A. Sindhu
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 algo…