15 citations · 79 across the 28 of their papers we have counts for
1 paper · 1 filter
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
We introduce a logic to express structural properties of automata with string inputs and, possibly, outputs in some monoid. In this logic, the set of predicates talking about the o…