On the Construction of Automata from Linear Arithmetic Constraints.

Pierre Wolper, Bernard Boigelot

Browse the full TACAS paper archive.