  We present how we formalize the waiting tables task in a restaurant as a
robot planning problem. This formalization was used to test our recently
developed algorithms that allow for optimal planning for achieving multiple
independent tasks that are partially observable and evolve over time [1], [2].
