@misc{indiciae5e99d67ad31c,
  title = {Verifying Safe Transitions between Dynamic Motion Primitives on Legged Robots},
  author = {Wyatt Ubellacker and Noel Csomay-Shanklin and Tamas G. Molnar and Aaron D. Ames},
  year = {2023},
  url = {https://arxiv.org/abs/2106.10310},
  note = {Source identifier: 2106.10310}
}