1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.RO2021★ 1 cited
Autonomous Navigation System from Simultaneous Localization and Mapping
Micheal Caracciolo, Owen Casciotti, Christopher Lloyd +5
This paper presents the development of a Simultaneous Localization and Mapping (SLAM) based Autonomous Navigation system. The motivation for this study was to find a solution for n…
math.LO2017★ 1 cited
Finite Inverse Categories as Signatures
Dimitris Tsementzis, Matthew Weaver
We define a simple dependent type theory and prove that its well-formed types correspond exactly to finite inverse categories.