Automata as Abstractions.

Dennis Dams, Kedar S. Namjoshi

Browse the full VMCAI paper archive.