3 citations · 3 across the 1 of their papers we have counts for
1 paper
Arpit Sharma
This paper presents a novel theoretical framework for the state space reduction of Kripke structures. We define two equivalence relations, Kripke minimization equivalence (KME) and…