Reachability is Tower Complete

03/13/2020

∙

by   Yuxi Fu, et al.

∙

0

∙

share

A complete characterization of the complexity of the reachability problem for vector addition system has been open for a long time. The problem is shown to be Tower complete.