21 citations · 50 across the 14 of their papers we have counts for
1 paper · 1 filter
Anthony Widjaja Lin, Sanming Zhou
The orbit problem is at the heart of symmetry reduction methods for model checking concurrent systems. It asks whether two given configurations in a concurrent system (represented…