Title: Formal Methods for Discrete-Time Dynamical Systems
Subjects: Discrete-time systems