Automata-Based Symbolic Representations of Polyhedra.

Bernard Boigelot, Julien Brusten, Jean-Franois Degbomont

Browse the full LATA paper archive.