%0 Journal Article %1 journals/corr/abs-2303-13819 %A Song, Lin %A Li, Yangge %A Cheng, Sheng %A Zhao, Pan %A Mitra, Sayan %A Hovakimyan, Naira %D 2023 %J CoRR %K dblp %T Verification of L1 Adaptive Control using Verse Library: A Case Study of Quadrotors. %U http://dblp.uni-trier.de/db/journals/corr/corr2303.html#abs-2303-13819 %V abs/2303.13819

@article{journals/corr/abs-2303-13819, added-at = {2023-09-30T00:00:00.000+0200}, author = {Song, Lin and Li, Yangge and Cheng, Sheng and Zhao, Pan and Mitra, Sayan and Hovakimyan, Naira}, biburl = {https://www.bibsonomy.org/bibtex/209539d3797ad560a93ae85cd0257bf38/dblp}, ee = {https://doi.org/10.48550/arXiv.2303.13819}, interhash = {0872eb1e50add86611a2128247358a89}, intrahash = {09539d3797ad560a93ae85cd0257bf38}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T22:29:08.000+0200}, title = {Verification of L1 Adaptive Control using Verse Library: A Case Study of Quadrotors.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2303.html#abs-2303-13819}, volume = {abs/2303.13819}, year = 2023 }