Dense Counter Machines and Verification Problems.

Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro

Browse the full CAV paper archive.