10 citations · 32 across the 19 of their papers we have counts for
1 paper · 2 filters
Thomas Colcombet, Nathanaël Fijalkow, Pierre Ohlmann
Bertrand et al. introduced a model of parameterised systems, where each agent is represented by a finite state system, and studied the following control problem: for any number of…