Registration is now open for all 2026 offerings. Interested parties can register online at here or by calling 205-951-5000. A ...
Abstract: This paper presents an optimization-based solution to task and motion planning (TAMP) on mobile manipulators. Logic-geometric programming (LGP) has shown promising capabilities for optimally ...
Abstract: With the popularity of weak/relaxed memory models widely used in modern hardware architectures, the C11 standard introduced a language level weak memory model, A.K.A the C11 memory model, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results