1. Principles of Model Checking;Baier,2008
2. Formal Methods for Discrete-Time Dynamical Systems, Vol. 15;Belta,2017
3. Verification and Control of Hybrid Systems: A Symbolic Approach;Tabuada,2009
4. Approximation metrics for discrete and continuous systems;Girard;IEEE Trans. Automat. Control,2007
5. On abstraction-based controller design with output feedback;Majumdar,2020