Login / Signup

Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem.

Nathanaël FijalkowPierre OhlmannJoël OuaknineAmaury PoulyJames Worrell
Published in: STACS (2017)
Keyphrases