78 citations · 221 across the 28 of their papers we have counts for
1 paper · 1 filter
Paul Gustafson, Jared Culbertson, Daniel E. Koditschek
We present a hybrid dynamical type theory equipped with useful primitives for organizing and proving safety of navigational control algorithms. This type theory combines the framew…