Reachability in symmetric VASS
The reachability problem in symmetric vector addition systems with states (VASS), where transitions are invariant under a group of permutations of coordinates, is investigated and the gain in complexity when the group arises as a combination of the trivial and symmetric groups is estimated.
Lukasz Kaminski, Slawomir Lasota
· International Symposium on M... · 1 citation