Mardavij Roozbehani, Alexandre Megretski, Eric Feron. Safety Verification of Iterative Algorithms over Polynomial Vector Fields. In 45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006. pages 6061-6067, IEEE, 2006. [doi]
Abstract is missing.