Approximating Deterministic Lattice Automata.

Shulamit Halamish, Orna Kupferman

Browse the full ATVA paper archive.