@misc{indiciae627f1ec82c6a,
  title = {Hybrid dynamical type theories for navigation},
  author = {Paul Gustafson and Jared Culbertson and Daniel E. Koditschek},
  year = {2021},
  url = {https://arxiv.org/abs/2108.07625},
  note = {Source identifier: 2108.07625}
}