In this work, we propose a trajectory optimization approach for robot navigation in cluttered 3D environments. We represent the robot's geometry as a semialgebraic set defined by polynomial ...

The incrementally modular abstraction hierarchy, which is a general development method based on modern mathematics, is applied to a computer game implemented by using functional reactive programming ...