@inproceedings{Papachristodoulou,
    doi = {10.1109/cdc.2002.1184414},
    url = {https://doi.org/10.1109%2Fcdc.2002.1184414},
    publisher = {{IEEE}},
    author = {A. Papachristodoulou and S. Prajna},
    title = {On the construction of Lyapunov functions using the sum of squares decomposition},
    booktitle = {Proceedings of the 41st {IEEE} Conference on Decision and Control, 2002.}
}

@inproceedings{Papachristodoulou, doi = {10.1109/cdc.2002.1184414}, url = {https://doi.org/10.1109%2Fcdc.2002.1184414}, publisher = {{IEEE}}, author = {A. Papachristodoulou and S. Prajna}, title = {On the construction of Lyapunov functions using the sum of squares decomposition}, booktitle = {Proceedings of the 41st {IEEE} Conference on Decision and Control, 2002.} }