@misc{indiciae7b966b2e2ae6,
  title = {Verification of \$L\_1\$ Adaptive Control using Verse Library: A Case Study of Quadrotors},
  author = {Lin Song and Yangge Li and Sheng Cheng and Pan Zhao and Sayan Mitra and Naira Hovakimyan},
  year = {2023},
  url = {https://arxiv.org/abs/2303.13819},
  note = {Source identifier: 2303.13819}
}