TY - RPRT TI - Left-eigenvectors are certificates of the Orbit Problem AU - Steven de Oliveira AU - Virgile Prevosto AU - Peter Habermehl AU - Saddek Bensalem PY - 2018 UR - https://arxiv.org/abs/1803.09511 ID - 1803.09511 ER -