On ranking function synthesis and termination for polynomial programs (31st International Conference on Concurrency Theory, 2020)

(untitled) - Neumann, E; Ouaknine, J; Worrell, JB