5 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Eduardo Zambon, Arend Rensink
In this paper we present the extension of an existing method for abstract graph-based state space exploration, called neighbourhood abstraction, with a reduction technique based on…