Formal Methods for Discrete-Time Dynamical Systems (Studies in Systems, Decisio… 0.0 stars Control Systems Dynamical Systems Formal Methods Engineering Mathematics
