Characterizing positively invariant sets: Inductive and topological methods

Khalil Ghorbal, Andrew Sogokon. Characterizing positively invariant sets: Inductive and topological methods. Journal of Symbolic Computation, 113:1-28, 2022. [doi]

Abstract

Abstract is missing.