150 citations · 285 across the 25 of their papers we have counts for
1 paper · 2 filters
Axel Legay, Pierre Wolper
Checking infinite-state systems is frequently done by encoding infinite sets of states as regular languages. Computing such a regular representation of, say, the set of reachable s…