1 citations · 1 across the 1 of their papers we have counts for
1 paper
Alexander Kartzow, Thomas Weidner
Constraint automata are an adaptation of Büchi-automata that process data words where the data comes from some relational structure S. Every transition of such an automaton comes w…