56 citations · 149 across the 22 of their papers we have counts for
3 papers · 1 filter
Controlling a random population
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…
Unambiguous separators for tropical tree automata
Thomas Colcombet, Sylvain Lombardy
In this paper we show that given a max-plus automaton (over trees, and with real weights) computing a function and a min-plus automaton (similar) computing a function such…
On Reachability Problems for Low-Dimensional Matrix Semigroups
Thomas Colcombet, Joël Ouaknine, Pavel Semukhin +1
We consider the Membership and the Half-Space Reachability problems for matrices in dimensions two and three. Our first main result is that the Membership Problem is decidable for…