14 citations · 16 across the 4 of their papers we have counts for
1 paper · 2 filters
Christophe Morvan
The vertices of a finite state system are usually a subset of the natural numbers. Most algorithms relative to these systems only use this fact to select vertices. For infinite sta…