Programming Mobile Robots with Aria and Player: A