www.cyberbotics.com
Allows creation of 3D virtual worlds populated with multiple simulated robots. Supports customized wheeled, legged or flying robots. Includes API for robot control, physics, a complete library of sensors and actuators, and communication capabilities. Proprietary, commercial software for Windows, Linux and Mac OS X systems.