34 citations · 60 across the 12 of their papers we have counts for
1 paper · 1 filter
Thomas Geffroy, Jérôme Leroux, Grégoire Sutre
The verification of safety properties for concurrent systems often reduces to the coverability problem for Petri nets. This problem was shown to be ExpSpace-complete forty years ag…