3 citations · 3 across the 1 of their papers we have counts for
1 paper · 1 filter
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…