Even though a number of techniques have been developed for motion generation and perception, few of them focus on the computational efficiency and theoretical guarantees at the same time. Typically, improved guarantees come with increased complexity, making theoretically guaranteed methods challenging use in real-time applications. Thus, existing methods usually have...