Charles C. Phiri, János Botzheim, Cristina Valle, Zhaojie Ju, Honghai Liu. Dynamical System Algorithm Specification Analysis and Stabilization. In Yongan Huang, Hao Wu, Honghai Liu, Zhouping Yin, editors, Intelligent Robotics and Applications - 10th International Conference, ICIRA 2017, Wuhan, China, August 16-18, 2017, Proceedings, Part I. Volume 10462 of Lecture Notes in Computer Science, pages 560-569, Springer, 2017. [doi]
Abstract is missing.