TY  - RPRT
TI  - Hybrid dynamical type theories for navigation
AU  - Paul Gustafson
AU  - Jared Culbertson
AU  - Daniel E. Koditschek
PY  - 2021
UR  - https://arxiv.org/abs/2108.07625
ID  - 2108.07625
ER  -