TY  - RPRT
TI  - Verification of $L_1$ Adaptive Control using Verse Library: A Case Study of Quadrotors
AU  - Lin Song
AU  - Yangge Li
AU  - Sheng Cheng
AU  - Pan Zhao
AU  - Sayan Mitra
AU  - Naira Hovakimyan
PY  - 2023
UR  - https://arxiv.org/abs/2303.13819
ID  - 2303.13819
ER  -