Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract).

Jochen Eisinger

Browse the full CSL paper archive.