Safety Verification of Iterative Algorithms over Polynomial Vector Fields - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mardavij Roozbehani' in GoogleThis author has not been identified. Look up 'Alexandre Megretski' in GoogleThis author has not been identified. Look up 'Eric Feron' in Google

runs on WebDSL