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]
@inproceedings{RoozbehaniMF06, title = {Safety Verification of Iterative Algorithms over Polynomial Vector Fields}, author = {Mardavij Roozbehani and Alexandre Megretski and Eric Feron}, year = {2006}, doi = {10.1109/CDC.2006.377333}, url = {https://doi.org/10.1109/CDC.2006.377333}, researchr = {https://researchr.org/publication/RoozbehaniMF06}, cites = {0}, citedby = {0}, pages = {6061-6067}, booktitle = {45th IEEE Conference on Decision and Control, CDC 2006, San Diego, CA, USA, 13-15 December, 2006}, publisher = {IEEE}, }